View Code? Open in Web Editor
NEW
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 development of machine-checked proofs.
Home Page: https://coq.inria.fr/
License: GNU Lesser General Public License v2.1
Emacs Lisp 0.04%
Makefile 0.17%
Shell 0.91%
OCaml 51.83%
Standard ML 0.61%
TeX 0.92%
CSS 0.03%
C 0.42%
Coq 44.70%
Verilog 0.01%
Batchfile 0.01%
JavaScript 0.01%
Nix 0.06%
Python 0.24%
sed 0.01%
Dockerfile 0.02%
V 0.01%
HTML 0.01%
coq's Issues
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#8
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#14
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#12
From: @ybertot
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#59
From: @pierrecregut
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#48
From: @pierrecregut
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#20
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#39
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#4
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#64
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#47
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#21
From: @herbelin
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#45
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#23
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#36
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#31
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#34
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#42
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#50
From: @pierrecregut
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#66
From: @backtracking
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#16
From: Clement Renard <[email protected] >
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#13
From: @boulme
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#49
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#60
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#52
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#24
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#18
From: @backtracking
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#19
From: @backtracking
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#41
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#28
From: Solange Coupet-Grimal <[email protected] >
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#55
From: Bauer, Robert <[email protected] >
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#61
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#27
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#2
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#38
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#44
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#40
From: @backtracking
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#7
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#3
From: Alexandre Miquel <[email protected] >
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#69
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#35
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#30
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#26
From: Jacek Chrzaszcz <[email protected] >
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#25
From: @letouzey
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#54
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#63
From: @tupelo-schneck
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#10
From: Christophe Dehlinger <[email protected] >
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#46
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#56
From: @Casteran
Reported version: 7.0
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#17
From: [email protected]
Reported version: 8.1
Note: the issue was created automatically with bugzilla2github tool
Original bug ID: BZ#65
From: @tupelo-schneck
Reported version: 8.1