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