Abella 2.0.7 to be made compatible with OCaml 4.08.0+ - Githubissues

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

90 stars 18 forks source link

Abella 2.0.7 to be made compatible with OCaml 4.08.0+ #132

Closed chaudhuri closed 3 years ago

chaudhuri commented 3 years ago

Should be fixed with: https://github.com/ocaml/opam-repository/pull/18053