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.1.0.tbz
sha256=f253e6288a0b3a4eaaaf531a252facc8f1c15750a658a9218ebebd3ad08a444b
md5=74557c6b156e1670a01923f8b1cd29ae