package coq-ground
Ground : A Useful Extension to Coq's Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
ground-v0.01.tar.gz
sha512=d2814b5eac7b7ac7619fd86007742ee98bc94f57f3dc34c3b4d5e6ad0c0ec4aecdfff5e243921a464bb7498b1c9ed1458a337b9006b82e70ab92d8d6c24a8748
Description
Published: 19 Dec 2021
On This Page