Zhengpu Shi

Intermediate
@zhengpushi

CoqMatrix. Formal matrix theory with multiple implementations in Coq

5

FinMatrix. Matrix by fin (finite set over nat) in Coq.

3

coq-matrix. Integration of Multiple Formal Matrix Models in Coq

1

VQCS. Formally Verified Quantity Calculus System (in Coq)

1

OrienRepr. Formal verification of orientation representation in Coq

1
5
Apply