package matita

You can search for identifiers within the package.

in-package search v0.2.0

An experimental, interactive theorem prover

Install

Dune Dependency

matita.cs.unibo.it Edit opam file Versions (1)

Authors

Maintainers

C

Claudio Sacerdoti Coen

Sources

md5=fd2535222ca0cb80d1eeebbb0109226e

sha512=8ef014ba47af7f6a3b055426ef0f64898904b121aaaba6fad94f787c04733ba4687c21fbfbe8674d75a92a33ce7a332a8e6e7bbd53a2e9ed204fc00e75e6dc84

doc/index.html

matita