package adelfa

You can search for identifiers within the package.

in-package search v0.2.0

Proof assistant for reasoning about LF specifications

Install

Dune Dependency

adelfa-prover.org Readme Edit opam file Versions (1)

Authors

Maintainers

C

Chase Johnson <joh13266@umn.edu>

Sources

md5=f32710f8d672e36d7597c9ec8612b096

sha512=7a8a9c699201136dd054ab9354125c6e4d990ffec56b96db13ec4a25190a362467b9a299eaf58e66ea1a497a14fcc8766cdfea87a18905aa32fb0f297668436b

doc/index.html

adelfa