# nLab UniMath project

Contents

### Context

#### Constructivism, Realizability, Computability

intuitionistic mathematics

# Contents

## Idea

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

proof assistants:

based on plain type theory/set theory:

projects for formalization of mathematics with proof assistants:

Historical projects that died out:

## References

Implementation in Coq:

Last revised on September 12, 2019 at 03:06:50. See the history of this page for a list of all contributions to it.