Thema · lean4

lean4

Erfasste Open-Source-Repos mit dem Tag lean4, sortiert nach Sternen.

Repos

10

Sterne gesamt

21.235

Sterne im Schnitt

2.124

Anteil

0,00%

Themen, die häufig gemeinsam mit lean4 am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit lean4 getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
lean4 ↗@leanproverLean
Lean 4 Programmiersprache und Theorembeweiser.
★ 8.928+49Sterne-Änderung der letzten 7 Tage
#2
mathlib4 ↗@leanprover-communityLean
Die Mathematikbibliothek von Lean 4
★ 3.986+57Sterne-Änderung der letzten 7 Tage
#3
YC-Killer ↗@sahibzada-allahyarTypeScript
Eine Bibliothek von KI-Agenten auf Unternehmensebene, die künstliche Intelligenz demokratisieren und kostenlose Open-Source-Alternativen zu überbewerteten Y Combinator-Startups bieten soll.
★ 2.805+14Sterne-Änderung der letzten 7 Tage
#4
LeanCopilot ↗@lean-dojoC++
LLMs als Copiloten für das Theorem-Beweisen in Lean
★ 1.318+4Sterne-Änderung der letzten 7 Tage
#5
formal-conjectures ↗@google-deepmindLean
Eine Sammlung formalisierter Aussagen von Vermutungen in Lean.
★ 1.219+11Sterne-Änderung der letzten 7 Tage
#6
LeanDojo ↗@lean-dojoPython
Tool zur Datenextraktion und programmatischen Interaktion mit Lean.
★ 832+4Sterne-Änderung der letzten 7 Tage
#7
lean.nvim ↗@JulianLua
Neovim-Unterstützung für den Lean Theorem Prover
★ 570+1Sterne-Änderung der letzten 7 Tage
#8
lean4game ↗@leanprover-communityTypeScript
Server zum Hosten von Lean-Spielen
★ 546+3Sterne-Änderung der letzten 7 Tage
#9
paperproof ↗@Paper-ProofTypeScript
Lean-Schnittstelle für Theorembeweise, die sich wie handschriftliche Notizen anfühlt.
★ 543+2Sterne-Änderung der letzten 7 Tage
#10
SciLean ↗@lecopivoLean
Wissenschaftliches Rechnen in Lean 4
★ 526+2Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen