package coq-list-string

  1. Overview
  2. Homepage
Strings implemented as lists

Install

Dune Dependency

Authors

Maintainers

Sources

2.1.1.tar.gz
md5=862ce9f8080c7d0aa9c406eceb2ad65c
Rocq

Interactive Theorem Prover