Pinned Repositories
libtscb
coq
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.
coq-cppsynth
Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
jive
lamrob
Toy educational game
libcoqcic
Coq CiC representation in C++
verification-debian-packages
Debian packaging for software verification tools
coq
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.
MAVSDK
API and library for MAVLink compatible systems written in C++17
caleridas's Repositories
caleridas/libcoqcic
Coq CiC representation in C++
caleridas/libtscb
caleridas/coq-cppsynth
caleridas/lamrob
Toy educational game
caleridas/verification-debian-packages
Debian packaging for software verification tools
caleridas/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
caleridas/coq
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.
caleridas/jive