Learn Lean 4 with PLFA proofs.
-
Updated
Aug 8, 2026 - Lean
#
programming-language-foundations
Here are 5 public repositories matching this topic...
Programming language foundations in Idris
-
Updated
Jun 4, 2019 - Idris
Design another compiler and parser for One Programming Language.
language programming-language parser parsing programming-languages lexer languages one parsers programming-language-concepts programming-language-theory programming-language-development programming-language-foundations one-language programming-language-design programming-language-interpreter
-
Updated
May 23, 2021 - C
Programming language foundations in Lean
-
Updated
Jun 28, 2019 - Lean
god like compiler
kotlin python c java html js compiler db developer software developer-tools compilers compiler-principles development-environment webdevelopment programming-language-foundations developer-tool
-
Updated
Aug 23, 2024 - Python
Add this topic to your repo
To associate your repository with the programming-language-foundations topic, visit your repo's landing page and select "manage topics."