package aifad
AIFAD - Automated Induction of Functions over Algebraic Datatypes
Install
Dune Dependency
mmottl.github.io
Readme
Changelog
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License
Edit opam file
Versions (5)
Authors
Maintainers
Sources
aifad-2.2.2.tbz
sha256=98eee91cb1644d48aae66e1fdd0843d723d3754cafb538bbc319d0c206d9d08f
md5=eaa6532ae081f9a601e99f2700c791e0