libcoq-mathcomp-real-closed

libcoq-mathcomp-real-closed

Debian BookwormDebian Bookworm
Debian Bookwormdeb.debian.org
GitHubgithub.com
Releases1
Frequency
Last Release
Real closed fields 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.1.3-1+b4 Unknown