Skip to content

Latest commit

 

History

History
47 lines (31 loc) · 1.65 KB

index.md

File metadata and controls

47 lines (31 loc) · 1.65 KB
Raw
title lang header-includes
Finite maps
en
<style type="text/css"> body {font-family: Arial, Helvetica; margin-left: 5em; font-size: large;} </style> <style type="text/css"> h1 {margin-left: 0em; padding: 0px; text-align: center} </style> <style type="text/css"> h2 {margin-left: 0em; padding: 0px; color: #580909} </style> <style type="text/css"> h3 {margin-left: 1em; padding: 0px; color: #C05001;} </style> <style type="text/css"> body { width: 1100px; margin-left: 30px; }</style>

About

Welcome to the Finite maps project website!

This library is an extension of mathematical component in order to support finite sets and finite maps on choicetypes (rather that finite types). This includes support for functions with finite support and multisets. The library also contains a generic order and set libary, which will be used to subsume notations for finite sets, eventually.

This is an open source project, licensed under the CeCILL-B.

Get the code

The current stable release of Finite maps can be downloaded from GitHub.

Documentation

Related publications, if any, are listed below.

Help and contact

Authors and contributors

  • Cyril Cohen
  • Kazuhiko Sakaguchi