Giters
thery
/
coqprime
Prime numbers for Coq
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
37
Watchers:
2
Issues:
24
Forks:
18
thery/coqprime Issues
Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
Closed
2 months ago
Comments count
2
[coq-prime-generator] Please pick the version you prefer for Coq 8.19 in Coq Platform 2024.01
Closed
3 months ago
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Closed
8 months ago
Comments count
3
Gödel's beta-function
Closed
8 months ago
Comments count
5
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
Closed
8 months ago
Please create a tag for Coq 8.17 in Coq Platform 2023.03
Closed
a year ago
Comments count
3
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
Closed
a year ago
[PATCH] firstprimes tool -- is 2 prime?
Closed
2 years ago
Comments count
3
Manual pages for the tools
Closed
2 years ago
Comments count
2
Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
Closed
2 years ago
Comments count
3
[PATCH] typos in gencertif/README
Closed
2 years ago
Comments count
1
Is 7 prime?
Closed
2 years ago
Comments count
4
Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
Closed
2 years ago
Use of "pipe" function is not (easily) Windows compatible
Closed
3 years ago
Comments count
24
Syntax issue in examples
Closed
3 years ago
Comments count
4
Travis CI is no longer good for open source projects, switch to GH Actions instead?
Closed
3 years ago
Please restore compatibility of opam package with Coq 8.12 and 8.13
Closed
3 years ago
Comments count
5
Please create a tag for Coq 8.14 in Coq Platform 2021.11
Closed
3 years ago
Comments count
20
Homepage
Closed
3 years ago
Comments count
1
Eliptic curve certificates
Closed
4 years ago
Comments count
10
Build is currently broken
Closed
6 years ago
Comments count
1
make -j is broken with Coq 8.7.2
Closed
6 years ago
Comments count
1
license: LGPL or MIT?
Closed
6 years ago
Comments count
1
request: support putting coqprime in COQPATH
Closed
6 years ago
Comments count
3