Geek Repo
Github PK Tool:Github PK Tool
Create, parse, and search glossary.
λΠ Programming Language Theory
Glossaries for Programming Language and Type Theory
An open-source, customizable intermediate logic textbook