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.4k 330
Programming Language Foundations in Lean
Lean 26 6
Loading…