dtt.mm. Metamath database for dependent type theory

github.com/digama0/dtt.mm
by @digama0

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.