Thema · proof-assistant

proof-assistant

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

Repos

8

Sterne gesamt

17.520

Sterne im Schnitt

2.190

Anteil

0,00%

Themen, die häufig gemeinsam mit proof-assistant am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit proof-assistant 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
agda ↗@agdaHaskell
Agda ist eine dependently getypte Programmiersprache und ein interaktiver Theorembeweiser.
★ 2.922+3Sterne-Änderung der letzten 7 Tage
#4
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.806+7Sterne-Änderung der letzten 7 Tage
#5
plfa.github.io ↗@plfaAgda
Eine Einführung in die Programmiersprachentheorie in Agda
★ 1.514+0Sterne-Änderung der letzten 7 Tage
#6
PG ↗@ProofGeneralEmacs Lisp
Dieses Repository ist das neue Zuhause von Proof General
★ 558+2Sterne-Änderung der letzten 7 Tage
#7
jscoq ↗@jscoqTypeScript
Ein Port von Coq nach Javascript – Führen Sie Coq in Ihrem Browser aus
★ 547+0Sterne-Änderung der letzten 7 Tage
#8
VST ↗@PrincetonUniversityRocq Prover
Verified Software Toolchain
★ 508+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen