Pinned Loading

1. mit-pdos/perennial mit-pdos/perennial Public

   Verifying concurrent storage and distributed systems

   Lean 258 53

2. iris-simp-lang iris-simp-lang Public

   We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

   Rocq Prover 66 6

3. rocq-community/rocq-tricks rocq-community/rocq-tricks Public

   Tricks you wish the Coq manual told you [maintainer=@tchajed]

   Coq 557 25

4. botc-tools botc-tools Public

   Storyteller tools for Blood on the Clocktower

   TypeScript 11 6