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

Tags: math-comp/Coq-Combi

Tags

v1.0.0

Toggle v1.0.0's commit message 
Update Nix CI

v1.0.0beta2

Toggle v1.0.0beta2's commit message 
Merge branch 'master' of github.com:math-comp/Coq-Combi

v1.0.0beta

Toggle v1.0.0beta's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Update README.md with CI Badge

MathComp-1.14.0

Toggle MathComp-1.14.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 
Merge pull request #3 from math-comp/update

Update to mathcomp 1.14.0 and test

Coq-8.13

Toggle Coq-8.13's commit message 
Wrote is_in_part_is_part

Coq-8.10

Toggle Coq-8.10's commit message 
Compat Coq-8.10.1

Compat-1.7

Toggle Compat-1.7's commit message 
Update of README

v0.9.1

Toggle v0.9.1's commit message 
Get rid of "; by"

v.0.9

Toggle v.0.9's commit message 
Doc in ordtype

Coq-8.5

Toggle Coq-8.5's commit message 
Compat with Coq 8.5
0