Constructive construction of lattices for well-founded fixpoint iteration

• The whole coq development is available in a single .tgz file with a makefile (using Coq 8.0bugfix)
• You can browse the source files in html version : the main files are
  • All.html where examples of lattice construction are given.
  • Signatures.html where different modules types are given
• the following map represents the development architecture (node are clickable)