home.social

#isabellehol — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #isabellehol, aggregated by home.social.

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

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

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

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

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