adelfaversion

Proof assistant for reasoning about LF specifications

AuthorsMary Southern and Chase Johnson <joh13266@umn.edu>
LicenseGPL-3.0-only
Published
Homepagehttps://adelfa-prover.org/
Issue Trackerhttps://github.com/adelfa-prover/adelfa/issues
MaintainerChase Johnson <joh13266@umn.edu>
Dependencies
Source [http] https://github.com/adelfa-prover/adelfa/archive/refs/tags/0.1.tar.gz
md5=f32710f8d672e36d7597c9ec8612b096
sha512=7a8a9c699201136dd054ab9354125c6e4d990ffec56b96db13ec4a25190a362467b9a299eaf58e66ea1a497a14fcc8766cdfea87a18905aa32fb0f297668436b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/adelfa/adelfa.0.1/opam
No package is dependent