package aifad

  1. Overview
  2. Docs
AIFAD - Automated Induction of Functions over Algebraic Datatypes

Install 

dune-project
 Dependency

mmottl.github.io Readme Changelog LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception License Edit opam file Versions (6)

Authors

  1. M
    Markus Mottl <markus.mottl@gmail.com>

Maintainers

  1. M
    Markus Mottl <markus.mottl@gmail.com>

Sources

aifad-2.3.2.tbz
sha256=6e254aa91f2f63c7c21851e21156e6c41d2096ba93233890cd70e81aa7e0fddd
sha512=51e10b920fa196f1410ad5c3384408cd281e1bf8558f67350d2c9f314a65b8a4905d52f32ee1739b82674f0d1546154f27ec73184279c0a9c038a5a209dbd6bb

doc/index.html

aifad