package coq-list-string

  1. Overview
  2. Homepage
Strings implemented as lists

Install

Dune Dependency

Authors

Maintainers

Sources

2.1.2.tar.gz
md5=a5d177e3f6ebb071a4fa4968dfb3f224
Rocq

Interactive Theorem Prover