package coq-bonsai
Generate a fresh Bonsai on your terminal
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.0.tar.gz
sha512=0760e15ee5627651ead63f1ee527f487f89b49cc2327e8b4bf2da261c215895cd1c5541a0e729bebc576d4e58dddbc8cae6b5666a56e5a94e849ab773208c5d1
Description
Tags
category:Miscellaneous/Logical Puzzles and Entertainment keyword:bonsai keyword:effects keyword:extraction date:2021-10-04Published: 04 Oct 2021
Dependencies (5)
-
ocamlbuild
build - ocaml
-
coq-simple-io
>= "1.1.0" - coq-list-string
-
coq
>= "8.13.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page