adelfaversion
Proof assistant for reasoning about LF specifications
Authors | Mary Southern and Chase Johnson <joh13266@umn.edu> |
---|---|
License | GPL-3.0-only |
Published | |
Homepage | https://adelfa-prover.org/ |
Issue Tracker | https://github.com/adelfa-prover/adelfa/issues |
Maintainer | Chase Johnson <joh13266@umn.edu> |
Dependencies | |
Source [http] | https://github.com/adelfa-prover/adelfa/archive/refs/tags/0.1.tar.gz md5=f32710f8d672e36d7597c9ec8612b096 sha512=7a8a9c699201136dd054ab9354125c6e4d990ffec56b96db13ec4a25190a362467b9a299eaf58e66ea1a497a14fcc8766cdfea87a18905aa32fb0f297668436b |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/adelfa/adelfa.0.1/opam |
No package is dependent