unimath.github.io Open in urlscan Pro
2606:50c0:8000::153  Public Scan

Submitted URL: http://unimath.org/
Effective URL: https://unimath.github.io/UniMath/
Submission: On November 16 via api from US — Scanned from DE

Form analysis 0 forms found in the DOM

Text Content

UNIMATH

This coq library aims to formalize a substantial body of mathematics using the
univalent point of view.

View the Project on GitHub UniMath/UniMath


UNIVALENT MATHEMATICS

This Rocq library aims to formalize a substantial body of mathematics using the
univalent point of view.


GETTING HELP & DISCUSSING UNIMATH

 * For questions about the UniMath library and requests for help with installing
   or using the library, visit the UniMath Zulip (click here to register).
 * For bugs and suggestions about improvements, file an issue on GitHub.


TRYING OUT UNIMATH

You can try out UniMath in the browser by clicking here. For instance, you can
run the files from the School on Univalent Mathematics in the browser.


FURTHER DOCUMENTATION

 * For general information about UniMath, citing UniMath and the coordinating
   committee, see the documentation page about UniMath.
 * For installing UniMath and other software-related information, see setup.
 * For contributing to UniMath, see the documentation about contributing.


ACKNOWLEDGMENTS

The UniMath development team gratefully acknowledges the great work by the Coq
development team in providing the Coq proof assistant, as well as their support
in keeping UniMath compatible with Coq.

This project is maintained by UniMath

Hosted on GitHub Pages — Theme by orderedlist