Open Issues Need Help
View All on GitHub Current status about 1 month ago
help wanted
Verify the smallest one-point basis for untyped lambda calculus
Lean
#lambda-calculus#lean4
Formalize "Standardization theorem" about 2 months ago
help wanted
Verify the smallest one-point basis for untyped lambda calculus
Lean
#lambda-calculus#lean4