Thema · deductive-reasoning

deductive-reasoning

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

Repos

3

Sterne gesamt

3.468

Sterne im Schnitt

1.156

Anteil

0,00%

Themen, die häufig gemeinsam mit deductive-reasoning am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit deductive-reasoning getaggt wurden.

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

#1
creusot ↗@creusot-rsRust
Creusot hilft Ihnen zu beweisen, dass Ihr Rust-Code korrekt ist.
★ 1.836+2Sterne-Änderung der letzten 7 Tage
#2
aeneas ↗@AeneasVerifOCaml
Eine Verifizierungstoolchain für Rust-Programme
★ 946+17Sterne-Änderung der letzten 7 Tage
#3
CreuSAT ↗@sarskoRust
CreuSAT – Ein formal verifizierter SAT-Solver, geschrieben in Rust und verifiziert mit Creusot.
★ 698+2Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen