proof-theory. Project for course in Proof Theory

github.com/knuton/proof-theory
by @knuton

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.