Popular repositories Loading

1. plfa.github.io plfa.github.io Public

   An introduction to programming language theory in Agda

   Agda 1.4k 334

2. plfl plfl Public

   Programming Language Foundations in Lean

   C 37 6