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