8000 Tags · thery/coqprime · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: thery/coqprime

Tags

v8.20.1

Toggle v8.20.1's commit message 
Fix makefile.in

v8.20

Toggle v8.20's commit message 
do not unfold Zeq_bool

v8.19

Toggle v8.19's commit message 
Add a definition of the beta function

v8.18

Toggle v8.18's commit message 
Add a definition of the beta function

v8.17

Toggle v8.17's commit message 
coq 8.17

list

Toggle list's commit message 
typos

1.2.0 A725

Toggle 1.2.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update build.yml

fix build

v8.15

Toggle v8.15's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Update build.yml

fix build

1.1.1

Toggle 1.1.1's commit message 
The makefile now builds the certificate generator

v8.14.1

Toggle v8.14.1's commit message 
The makefile now builds the certificate generator
0