オーナー · leanprover-community

leanprover-community

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

4 件のリポジトリ

#1
mathlib4 ↗@leanprover-communityLean
Lean 4の数学ライブラリ
★ 3,989+15直近 7 日のスター増減
#2
physlib ↗@leanprover-communityLean
物理学の実験結果をLeanでデジタル化するプロジェクト
★ 721+4直近 7 日のスター増減
#3
mathematics_in_lean ↗@leanprover-communityHTML
「Mathematics in Lean」チュートリアルのユーザーホームリポジトリ
★ 584+2直近 7 日のスター増減
#4
lean4game ↗@leanprover-communityTypeScript
Lean ゲームをホストするためのサーバー
★ 549+5直近 7 日のスター増減