lucaspena / finmap

Finset and finmap library

A finset and finmap library

AUTHOR

Cyril Cohen

RELATED WORK

This library was developed independently but inspired from Pierre-Yves Strub's library (https://github.com/strub/ssrmisc/blob/master/fset.v) from Christian Doczkal's library (https://www.ps.uni-saarland.de/formalizations/fset/html/libs.fset.html) and from Beta Ziliani's work (no reference provided so far).

This library should ultimately be integrated to the mathematical components library, when it is finished.

DOCUMENTATION

The documentation is available in the header of the file.

LICENSING

This program is free software; you can redistribute it and/or modify it under the terms of the CeCILL B FREE SOFTWARE LICENSE.

You should have received a copy of the CeCILL B License with this Kit, in the file named "CeCILL-B". If not, visit http://www.cecill.info