LS-Lab/Coq-dL

Stars
12
Rank 1,597,372 (Top 32 %)
Language Coq
License
GNU General Publi...
Created about 8 years ago
Updated over 2 years ago

LS-Lab/Coq-dL

LS-Lab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A formally verified implementation of differential dynamic logic in Coq

KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

KeYmaera-release

Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

orbital

Orbital Library

KeYmaeraX-projects

Projects, models, and proofs in KeYmaera X

Isabelle-dL

A formally verified implementation of differential dynamic logic in Isabelle

SMC