About Coq Platform
Rocq is a general-purpose, industrial-strength interactive theorem prover.
Coq Platform
Rocq is a general-purpose, industrial-strength interactive theorem prover.
Developer Tools
Related apps
View all
EEZ Studio
Visual tool for GUI development and T&M automation
Scilab
Software for numerical computation
Sim Genie
Sim Genie unlocks the Xcode simulator's hidden power-ups. Speed up your development / marketing / testing workflows.
Neovide
No Nonsense Neovim Client in Rust. Contribute to neovide/neovide development by creating an account on GitHub.