package aifad

  1. Overview
  2. Docs
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 (6)

Authors

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

Maintainers

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

Sources

aifad-2.1.0.tbz
md5=74557c6b156e1670a01923f8b1cd29ae

CHANGES.md.html

2.1.0 (2017-07-30)

  • Switched to jbuilder and topkg