astrio-labs/forall
@astrio-labsForall (∀) ist ein Coding-Agent von Astrio, der Entwicklern hilft, korrekten Code zu erstellen, indem er spezifikationsgesteuerten Code zusammen mit maschinell überprüfbaren Beweisen generiert.
Sterne
598
Forks
34
Sprache
Rust
Lizenz
Apache-2.0
Letzter Push
vor 6 Tagen
Verwandte Intel (0)
Noch keine verwandte Intel
Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.