Pinned

1. lean-ssr lean-ssr Public

   LeanSSR: an SSReflect-Like Tactic Language for Lean

   Lean 29

2. toychain toychain Public

   A minimalistic blockchain consensus implemented and verified in Coq

   Coq 112 12

3. ego ego Public

   EGraphs in OCaml

   OCaml 56 6

4. sisyphus sisyphus Public

   Mostly Automated Proof Repair for Verified Libraries

   OCaml 1

5. ceramist ceramist Public

   Verified hash-based AMQ structures in Coq

   Coq 122 5

6. arboreta arboreta Public

   Mechanised Reasoning about Array-Based Trees in Separation Logic

   Coq