package abella
Interactive theorem prover based on lambda-tree syntax
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.6.tar.gz
md5=077cb3fbbdf35159e4b8860faf431c6a
sha512=b2d0346926a9d9d5cb6ea24ee6143f314ea16d5e82c7327b289dc33ad0943923beef9f14fd441a9acc26666424cf141dd94e7fc361e764b2ee879871ea63e39e
Description
Published: 08 Jan 2019
Dependencies (3)
-
ocamlbuild
build
-
ocamlfind
build
-
ocaml
>= "4.02.3" & < "4.08.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page