Language for high-assurance and high-speed cryptography

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…

Control JavaScript execution for testing time dependent or async code

The repository for stable Coq packages.

A blog about Coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Interactive theorem proving with Coq in vim.

Coq with native compilation, as well as machine integers and arrays !