Pinned Loading

1. stablesort stablesort Public

   Stable sort algorithms and their stability proofs in Rocq

   Rocq Prover 27 4

2. math-comp/algebra-tactics math-comp/algebra-tactics Public

   Rocq Prover 39 6

3. math-comp/mczify math-comp/mczify Public

   Micromega tactics for Mathematical Components

   Rocq Prover 31 10

4. math-comp/hierarchy-builder math-comp/hierarchy-builder Public

   High level commands to declare a hierarchy based on packed classes

   Rocq Prover 104 32

5. lambda-calculus lambda-calculus Public

   A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

   Coq 88 9

6. math-comp/math-comp math-comp/math-comp Public

   Mathematical Components

   Rocq Prover 706 136