Giters
plfa

plfa

Geek Repo

Github PK Tool:Github PK Tool

plfa's repositories

plfa.github.io

An introduction to programming language theory in Agda

Language:AgdaLicense:CC-BY-4.0Stargazers:1326Issues:23Issues:248

plfl

Programming Language Foundations in Lean

Language:LeanStargazers:19Issues:0Issues:0