Topic · foundations

foundations

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

Repos

1

Total stars

1,019

Avg. stars

1,019

Share

0.00%

Topics that frequently appear alongside foundations on the same repo.

Recent risers

Repos created in the last 90 days, tagged foundations.

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