prufrock. A literary proof assistant built on the affine calculus of inductive constraints

github.com/kach/prufrock
by @kach

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.