partial-combinatory-algebras
A Lean 4 formalization of partial combinatory algebras.
Sort by
Require Order
doc-gen4
v4.15.0-rc1
Document Generator for Lean 4checkdecls
8e459c6
Tiny Lean library to check existence of declarationsmathlib
675c28e
The math library of Lean 4