#isabellehol — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #isabellehol, aggregated by home.social.
-
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 April 4, 2026. https://jaalonso.github.io/vestigium/posts/2026/04/04-readings_shared_04-04-26 #AI #AI4Math #ATP #Agda #AlphaProof #Autoformalization #CategoryTheory #CoqProver #FunctionalProgramming #ITP #IsabelleHOL #LLMs #LambdaCalculus #LeanProver #Lisp #Logic #LogicProgramming #LLMs #Math #Physics #Programming #Prolog #Racket #RocqProver #Vampire