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
Learn about vigilant mode.
Compare
Choose a tag to compare
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

itp2019-agqt

04 Jul 02:26
@affeldt-aist affeldt-aist
itp2019-agqt
d83ff2e
Compare
Choose a tag to compare
itp2019-agqt 
add an itp 2019 paper
Assets 2
Loading