Repository navigation

UniLab

Public

About

Formalized Mathematics

coq-formalization dependent-types unimath univalent-foundations

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
UniLab		UniLab
README.md		README.md

Repository files navigation

UniLab

Mathematical formalizations based on the Univalent Foundations of mathematics.

About

Formalized Mathematics

coq-formalization dependent-types unimath univalent-foundations

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages