Mapping finite state machines to zk-SNARKS Using Category Theory. - Fabrizio Genovese; Andre Knispel; Joshua Brian Fitzgerald (CoRR, 2019)

idris-ct: A Library to do Category Theory in Idris. - Fabrizio Genovese; Alex Gryzlov; Jelle Herold; Andre Knispel; Marco Perone; Erik Post; André Videla (ACT, 2019)

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (FMBC@CAV, 2024)

IntersectMBO/formal-ledger-specifications. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (DROPS Artifacts, 2024)