package coq-bonsai

  1. Overview
  2. No Docs
Generate a fresh Bonsai on your terminal

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. G
    Guillaume Claret

Maintainers

  1. D
    dev@clarus.me

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-04

Published: 04 Oct 2021

Dependencies (5)

  1. ocamlbuild build
  2. ocaml
  3. coq-simple-io >= "1.1.0"
  4. coq-list-string
  5. coq >= "8.13.0"

Dev Dependencies

None

Used by

None

Conflicts

None