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:
234
Latest version:
2022.3.39f1 (4e1b0f82c39a)
Keys:
6,237,314
Clicks:
409,011
Mouse Scrolls:
198,680
Time Used:
9w2d14h36m20s
Average Time Used:
6h43m45s