Coq Proof Assistant
Category
Tags
Formal Verification
Interactive Theorem Proving
Logic Programming
Proof Assistant
Theorem Proving
Last Contribution
WhatPulseDescription
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,442,605
Clicks:
417,926
Mouse Scrolls:
200,767
Time Used:
9w4d4h4m42s
Average Time Used:
6h53m22s
Loading...
Loading...