package coq-list-string

  1. Overview
  2. Homepage
Strings implemented as lists

Install

Dune Dependency

Authors

Maintainers

Sources

2.0.0.tar.gz
md5=c4099d9e6223c5f126de1b173f278390
Rocq

Interactive Theorem Prover