libcoq-mathcomp-algebra-tactics

libcoq-mathcomp-algebra-tactics

Debian BookwormDebian Bookworm
Debian Bookwormdeb.debian.org
GitHubgithub.com
Releases1
Frequency
Last Release
Ring and field tactics for Mathematical Components
Log in to subscribe
Subscribe above to receive notifications when new versions are released.
VersionDate
Stability
Stability is determined by the version string and my be inaccurate.
1.0.0-8+b6 Unknown