オーナー · UniMath

UniMath

UniMath の追跡中のオープンソースリポジトリを、スター数順に表示します。

1 件のリポジトリ

#1
UniMath ↗@UniMathRocq Prover
一意性（univalent）の観点から数学の主要な体系を形式化することを目的とした rocq ライブラリ
★ 1,019+2直近 7 日のスター増減