blazeit. A proof assistant.

github.com/pjreddie/blazeit
by @pjreddie

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.