⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Releases: math-comp/math-comp.github.io

Release with 1.12.0 doc

23 Feb 18:52
@CohenCyril CohenCyril
doc-1.12.0
4efaece
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.

Choose a tag to compare

View all tags
Release with 1.12.0 doc Latest
Latest 
Merge pull request #16 from math-comp/MCB-no-progress-no-more

MCB is done
Assets 2
Loading