OurBigBook
About
$
Donate
Sign in
Sign up
by
Ciro Santilli
(
@cirosantilli,
32
)
Coq
(software)
Index
Mathematics
Area of mathematics
Formalization of mathematics
Proof assistant
List of proof assistants
Like
(0)
0 By others
on same topic
0 Discussions
Updated
2024-09-07
Created
2024-07-04
See my version
Ancestors
(6)
List of proof assistants
Proof assistant
Formalization of mathematics
Area of mathematics
Mathematics
Index
Synonyms
(1)
cirosantilli/coq
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version