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.3.1.tbz
sha256=8bc849773cb4f16de93725a7012b05e9a98e38d654c87140fa4c18ebac61dd1a
sha512=09d4b6dac5c1f891c4328c2d01eff4300ad7edcaa640552852f45d622e13efd2c4a73ecc5f899dbfa521aceb0fbe8eb6334be6850841302b1915a28a498a0084