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

Tags: math-comp/mczify

Tags

1.5.0+2.0+8.16

Toggle 1.5.0+2.0+8.16'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 #48 from math-comp/N_to_nat

Add morphism instances for N.to_nat and N.of_nat

1.4.0+2.0+8.16

Toggle 1.4.0+2.0+8.16'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 #39 from proux01/hierarchy-builder

Port to Hierarchy Builder

1.3.0+1.12+8.13

Toggle 1.3.0+1.12+8.13'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 #43 from math-comp/ci

Update CI

1.2.0+1.12+8.13

Toggle 1.2.0+1.12+8.13'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 #34 from math-comp/more-test-cases

Add more instances and test cases

1.1.0+1.12+8.13

Toggle 1.1.0+1.12+8.13'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 #27 from math-comp/unitz

Add support for `GRing.unit`

1.0.0+1.12+8.13

Toggle 1.0.0+1.12+8.13's commit message 
Update meta.yml and README
0