Pinned Loading

1. pyrosome pyrosome Public

   Rocq Prover 9 4

2. mit-plv/fiat-crypto mit-plv/fiat-crypto Public

   Cryptographic Primitive Code Generation by Fiat

   Rocq Prover 777 155

3. mit-plv/bedrock2 mit-plv/bedrock2 Public

   A work-in-progress language and compiler for verified low-level programming

   Rocq Prover 314 51

4. mit-plv/rupicola mit-plv/rupicola Public

   Gallina to Bedrock2 compilation toolkit

   Rocq Prover 61 14

5. mit-frap/spring23 mit-frap/spring23 Public

   Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023

   Coq 29 9