awesome-lambda-calculus

awesome-lambda-calculus/Fokker_challenge

Verify the smallest one-point basis for untyped lambda calculus

0 stars 0 forks 0 watchers Lean Apache License 2.0
lambda-calculus lean4
View on GitHub Website
2 Open Issues Need Help Last updated: Jun 23, 2026

Open Issues Need Help

View All on GitHub
Current status about 12 hours ago
help wanted
awesome-lambda-calculus/Fokker_challenge
0

Verify the smallest one-point basis for untyped lambda calculus

Lean
#lambda-calculus#lean4
Formalize "Standardization theorem" 18 days ago
help wanted
awesome-lambda-calculus/Fokker_challenge
0

Verify the smallest one-point basis for untyped lambda calculus

Lean
#lambda-calculus#lean4