coq_model. Testing the ergonomics of Coq wrt to writing models.

github.com/modulovalue/coq_model
by @modulovalue

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.