Topic · unimath

unimath

Tracked open-source repos tagged unimath, sorted by stars.

Repos

1

Total stars

1,019

Avg. stars

1,019

Share

0.00%

Topics that frequently appear alongside unimath on the same repo.

Recent risers

Repos created in the last 90 days, tagged unimath.

No new repos tagged with this topic in the last 90 days.

#1
UniMath ↗@UniMathRocq Prover
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
★ 1,019+2Star change over the last 7 days

← Back to topics