Coq Project Starters

Check out the future of starting the programming projects in Coq.
We’d love your feedback.

Coq Frameworks

Check out our already available project starters and cast your votes on those yet to come, to help us prioritize our development - thank you!

Hix logo

Try hix.dev now

Simplify project configuration.
DRY during initialization.
Prevent the technical debt, easily.

We use cookies, please read and accept our Cookie Policy.