Coq Proof Assistant

Logo for Coq Proof Assistant

Category

Development

Tags

Formal Verification Interactive Theorem Proving Logic Programming Proof Assistant Theorem Proving

Last Contribution

WhatPulse

Description

Coq Proof Assistant is a formal proof management system that helps users develop mathematical theorems and verify their correctness using interactive proof constructions. It provides a powerful environment for writing, formalizing and verifying proofs in a wide range of mathematical theories and programming languages

Statistics

People using it:
235
Latest version:
2022.3.39f1 (4e1b0f82c39a)
Keys:
5,791,252
Clicks:
308,229
Mouse Scrolls:
163,346
Time Used:
8w1d8h31m19s
Average Time Used:
5h51m28s