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.1.tbz
sha256=2b3e4811123dacbd7fea6da53e6a39d1b199758d0df789d6aff9d2a364623363
md5=162a9b02818fabfe36a229b5e7f062fe