Thema · theorem-proving

theorem-proving

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

Repos

7

Sterne gesamt

13.478

Sterne im Schnitt

1.925

Anteil

0,00%

Themen, die häufig gemeinsam mit theorem-proving am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit theorem-proving getaggt wurden.

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

#1
rocq ↗@rocq-proverOCaml
Der Rocq Prover ist ein interaktiver Theorembeweiser bzw. Beweisassistent. Er bietet eine formale Sprache zum Schreiben mathematischer Definitionen, ausführbarer Algorithmen und Theoreme sowie eine Umgebung für die semi-interaktive Entwicklung maschinell überprüfter Beweise.
★ 5.562+4Sterne-Änderung der letzten 7 Tage
#2
FStar ↗@FStarLangF*
Eine auf Beweise ausgerichtete Programmiersprache
★ 3.103+4Sterne-Änderung der letzten 7 Tage
#3
LeanCopilot ↗@lean-dojoC++
LLMs als Copiloten für das Theorem-Beweisen in Lean
★ 1.318+1Sterne-Änderung der letzten 7 Tage
#4
cakeml ↗@CakeMLStandard ML
CakeML: Eine verifizierte Implementierung von ML
★ 1.190+2Sterne-Änderung der letzten 7 Tage
#5
LeanDojo ↗@lean-dojoPython
Tool zur Datenextraktion und programmatischen Interaktion mit Lean.
★ 832+1Sterne-Änderung der letzten 7 Tage
#6
HOL ↗@HOL-Theorem-ProverStandard ML
Kasernenquellen für das HOL4-Theorembeweissystem. Der Branch develop ist der Ort für die Hauptlinienentwicklung; sobald develop unsere Regressionstests besteht, wird master vorwärtsgemergt.
★ 757+2Sterne-Änderung der letzten 7 Tage
#7
physlib ↗@leanprover-communityLean
Ein Projekt zur Digitalisierung physikalischer Ergebnisse in Lean.
★ 721+4Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen