#
Starred repositories
3
stars
written in Lean
Clear filter
Lean 3's obsolete mathematical components library: please use mathlib4
Formalizing stochastic doubly-efficient debate
The Complex Number Game. Make the complex numbers in Lean.