トピック · lean4

lean4

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

リポジトリ

総スター数

21,235

平均スター数

2,124

0.00%

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

最近の急上昇

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

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

#1
lean4 ↗@leanproverLean
Lean 4プログラミング言語および定理証明器
★ 8,928+49直近 7 日のスター増減
#2
mathlib4 ↗@leanprover-communityLean
Lean 4の数学ライブラリ
★ 3,986+57直近 7 日のスター増減
#3
YC-Killer ↗@sahibzada-allahyarTypeScript
人工知能の民主化を目的とし、過大評価されたY Combinatorのスタートアップに対する無料のオープンソース代替を提供する、エンタープライズグレードのAIエージェントライブラリ。
★ 2,805+14直近 7 日のスター増減
#4
LeanCopilot ↗@lean-dojoC++
Leanでの定理証明のコパイロットとしてのLLM
★ 1,318+4直近 7 日のスター増減
#5
formal-conjectures ↗@google-deepmindLean
Leanにおける予想の形式化されたステートメントのコレクション。
★ 1,219+11直近 7 日のスター増減
#6
LeanDojo ↗@lean-dojoPython
プログラムからデータ抽出およびLeanとの対話を行うためのツール。
★ 832+4直近 7 日のスター増減
#7
lean.nvim ↗@JulianLua
定理証明支援系LeanのNeovimサポート
★ 570+1直近 7 日のスター増減
#8
lean4game ↗@leanprover-communityTypeScript
Lean ゲームをホストするためのサーバー
★ 546+3直近 7 日のスター増減
#9
paperproof ↗@Paper-ProofTypeScript
紙とペンのような感覚で証明を行える Lean 定理証明インターフェース
★ 543+2直近 7 日のスター増減
#10
SciLean ↗@lecopivoLean
Lean 4 における科学技術計算
★ 526+2直近 7 日のスター増減

← トピック一覧に戻る

関連トピック

最近の急上昇