package aifad
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
AIFAD - Automated Induction of Functions over Algebraic Datatypes
Install
Dune Dependency
Authors
Maintainers
Sources
aifad-2.3.1.tbz
sha256=8bc849773cb4f16de93725a7012b05e9a98e38d654c87140fa4c18ebac61dd1a
sha512=09d4b6dac5c1f891c4328c2d01eff4300ad7edcaa640552852f45d622e13efd2c4a73ecc5f899dbfa521aceb0fbe8eb6334be6850841302b1915a28a498a0084
On This Page