#isabellehol — Public Fediverse posts

Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. https://arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. https://arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. https://arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. https://arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. https://arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

Readings shared October 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/05-readings_shared_10-04-25 #ACL2 #AI #Algorithms #FunctionalProgramming #ITP #IsabelleHOL #LLMs #Math

Readings shared October 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/05-readings_shared_10-04-25 #ACL2 #AI #Algorithms #FunctionalProgramming #ITP #IsabelleHOL #LLMs #Math

Readings shared October 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/05-readings_shared_10-04-25 #ACL2 #AI #Algorithms #FunctionalProgramming #ITP #IsabelleHOL #LLMs #Math

Readings shared October 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/05-readings_shared_10-04-25 #ACL2 #AI #Algorithms #FunctionalProgramming #ITP #IsabelleHOL #LLMs #Math

Readings shared October 4, 2025. https://jaalonso.github.io/vestigium/posts/2025/10/05-readings_shared_10-04-25 #ACL2 #AI #Algorithms #FunctionalProgramming #ITP #IsabelleHOL #LLMs #Math