SYSTEMF
Popular repositories Loading
-
logical-pinning
logical-pinning PublicThe mechanized formalization of logical pinning, a lightweight borrowing model and proof discipline for precise reasoning about container-internal pointers.
Rocq Prover 7
-
StrictOrderSolver
StrictOrderSolver PublicComplete solver for strict orders (transitive+irreflexive relations) for Rocq
Rocq Prover 3
-
-
-
Repositories
- StrictOrderSolver Public
Complete solver for strict orders (transitive+irreflexive relations) for Rocq
epfl-systemf/StrictOrderSolver’s past year of commit activity - lorikeet Public
epfl-systemf/lorikeet’s past year of commit activity - verified-bootstraping Public Forked from myreen/imp_bootstrap
Verified bootstrapping of an imperative compiler
epfl-systemf/verified-bootstraping’s past year of commit activity - librrd Public
Railroad diagram (RRD) layout library. Try it out at https://systemf.epfl.ch/etc/librrd/.
epfl-systemf/librrd’s past year of commit activity - logical-pinning Public
The mechanized formalization of logical pinning, a lightweight borrowing model and proof discipline for precise reasoning about container-internal pointers.
epfl-systemf/logical-pinning’s past year of commit activity - coq Public Forked from rocq-prover/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
epfl-systemf/coq’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…