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 295
Programming Language Foundations in Lean
Lean 19 5
Loading…