Popular repositories Loading

1. A Rocq formalization of information theory and linear error-correcting codes

   Rocq Prover 75 20

2. Monadic effects and equational reasoning in Rocq

   Rocq Prover 75 16

3. Mathematics of Robotic Manipulation using Rocq and MathComp

   Rocq Prover 29 6