This is your work, valued

Zhengpu Shi

Intermediate

@zhengpushi

CoqMatrix. Formal matrix theory with multiple implementations in Coq

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

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

VQCS. Formally Verified Quantity Calculus System (in Coq)

OrienRepr. Formal verification of orientation representation in Coq

views searches