LangLib: Esoteric Programming Languages, Formally

GitHub · Sep 1 · Discussed on Hacker News · 💻 Esoteric Languages

Esoteric Programming Languages, Formally. Contribute to ilyasergey/langlib development by creating an account on GitHub.

View Post on Scour ↗

Covers Lean: Programming Language and Theorem Prover