# nLab ForMath

Contents

foundations

## Removing axioms

#### Constructivism, Realizability, Computability

intuitionistic mathematics

# Contents

## Idea

A project for formalization of parts of mathematics (formal proof) in formal languages supported by proof assistants (particularly in Coq).

## References

Last revised on June 18, 2019 at 10:31:36. See the history of this page for a list of all contributions to it.