# nLab Xena project

Contents

### Context

#### Constructivism, Realizability, Computability

intuitionistic mathematics

# Contents

## Idea

A project bringing formal proof and proof assistants (particularly Lean) into the practice of undergraduate mathematics.

## References

Last revised on May 22, 2019 at 07:18:48. See the history of this page for a list of all contributions to it.