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