We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
An introduction to programming language theory in Agda
Agda 1.3k 302
Programming Language Foundations in Lean
Lean 19 5
Loading…