yoshihiro503/mathcomp-analysis

•Updated 8 days ago

Docker images of MathComp Analysis library for the Rocq prover

Image

Languages & frameworks

Developer tools

2.7K

yoshihiro503/mathcomp-analysis repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:131cfea7c…

Size

3.5 GB

Last updated

8 days ago

docker pull yoshihiro503/mathcomp-analysis:1.18.0-rocq-9.0