Pinned Loading

1. PrincetonUniversity/VST PrincetonUniversity/VST Public

   Verified Software Toolchain

   Rocq Prover 508 103

2. rocq-community/coq-100-theorems rocq-community/coq-100-theorems Public

   Statements of famous theorems proven in Coq [maintainer=@jmadiot]

   HTML 63 15

3. cats cats Public

   Coq

4. coqtail/coqtail coqtail/coqtail Public

   Coq 11 2

5. impega/reciptacle impega/reciptacle Public

   Receptacle for recipes

   Shell 8 2

6. 2048 2048 Public

   Deterministic variant of 2048

   JavaScript 2 2