Pinned Repositories
coq-matrix
Integration of Multiple Formal Matrix Models in Coq
coq-projects
some interesting coq projects
CoqExt
Extension for Coq stdandard library
CoqMatrix
Formal matrix theory with multiple implementations in Coq
FinMatrix
Matrix by fin (finite set over nat) in Coq.
FunMatrix
A formal matrix library by nat-indexing-function
GenProg
Generate program from Coq
OrienRepr
Formal verification of orientation representation in Coq
VFCS
Verified Flight Control System in Coq
VQCS
Formally Verified Quantity Calculus System (in Coq)
zhengpushi's Repositories
zhengpushi/CoqMatrix
Formal matrix theory with multiple implementations in Coq
zhengpushi/coq-matrix
Integration of Multiple Formal Matrix Models in Coq
zhengpushi/coq-projects
some interesting coq projects
zhengpushi/CoqExt
Extension for Coq stdandard library
zhengpushi/FinMatrix
Matrix by fin (finite set over nat) in Coq.
zhengpushi/FunMatrix
A formal matrix library by nat-indexing-function
zhengpushi/GenProg
Generate program from Coq
zhengpushi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
zhengpushi/OrienRepr
Formal verification of orientation representation in Coq
zhengpushi/PX4-Autopilot
PX4 Autopilot Software
zhengpushi/VFCS
Verified Flight Control System in Coq
zhengpushi/VQCS
Formally Verified Quantity Calculus System (in Coq)
zhengpushi/zhengpushi.github.io
zhengpushi/PoseRepr
Formal verification of pose representation in Coq