メインコンテンツへスキップ
buildradar
Sign in
トピック · rocq-library

rocq-library

rocq-library がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ
2
総スター数
1,715
平均スター数
858
シェア
0.00%

rocq-library と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、rocq-library がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

  • UniMath@UniMath

    一意性(univalent)の観点から数学の主要な体系を形式化することを目的とした rocq ライブラリ

    1,019+2直近 7 日のスター増減
  • math-comp@math-comp

    数学的コンポーネントライブラリ

    696+1直近 7 日のスター増減
← トピック一覧に戻る