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
