Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–6 of 6 · Most stars
A Library for Representing Recursive and Impure Programs in Coq
A Lean formalization of the Classification of Finite Simple Groups
A library of mechanised undecidability proofs in the Coq proof assistant.
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem