Home

Awesome

(**************************************************************)
(*   Copyright Dominique Larchey-Wendling [*]                 *)
(*                                                            *)
(*                             [*] Affiliation LORIA -- CNRS  *)
(**************************************************************)
(*      This file is distributed under the terms of the       *)
(*        Mozilla Public License Version 2.0, MPL-2.0         *)
(**************************************************************)

What is this library?

This is a collection of tools based on the following notion of finiteness

Dependencies

There is a dependency with Kruskal-Trees because:

How to install

This library is CI tested with Coq 8.14-8.19 and should install smoothly with opam install coq-kruskal-finite.