Contents

Contents

Idea

The UniMath project (short for Univalent Mathematics) on formalization of mathematics (formal proof) with emphasis on the use of the univalence axiom.

References

Implementation in Coq:

Last revised on May 20, 2019 at 07:32:21. See the history of this page for a list of all contributions to it.