Pinned Loading

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

   Verifying concurrent storage and distributed systems

   Rocq Prover 216 47

2. goose-lang/goose goose-lang/goose Public

   Goose converts a subset of Go to Rocq

   Go 137 18

3. mit-pdos/gokv mit-pdos/gokv Public

   Go 17 5

4. mit-pdos/grove-proofs mit-pdos/grove-proofs Public

   Proofs of distributed systems using Grove

   Rocq Prover 1