proofcell. a proof kernel for symmetric monoidal theories

github.com/statusfailed/proofcell
by @statusfailed

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.