We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
warning, bump analysis version
release 0.7.1 (#144) * release 0.7.1
porting to MathComp 2 (#131) Co-authored-by: Takafumi Saikawa <tscompor@gmail.com>
fix
update readme (#120) * update readme
compatibility release
add doi
compatibility with mathcomp 1.15.0