libcoq-mathcomp-ssreflect

libcoq-mathcomp-ssreflect

Debian BookwormDebian Bookworm
Debian Bookwormdeb.debian.org
math-comp.github.iomath-comp.github.io
Releases1
Frequency
Last Release
Mathematical Components library for Coq (small scale reflection)
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.15.0-1+b4 Unknown