issues
search
rocq-archive
/
coq-contribs
7
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Failure checking out lin-alg module
#5
geneing
opened
3 years ago
1
Incorrect submodules qarith-stern-brocot and semantics
#4
geneing
opened
3 years ago
0
License
#3
pchaigno
closed
8 years ago
8
Please add HoTT to coq-contribs.
#2
ejgallego
closed
7 years ago
14
Add mirror-core
#1
ejgallego
closed
7 years ago
2