ychtao

Ph.D. student in CSE @umich B.Eng. @sjtu

University of MichiganAnn Arbor, U.S.A.

Pinned Repositories

LOGIC
Language:Coq8 1 00
Correctness-of-Strassen-Algorithm
Correctness of Strassen’s algorithm for matrix multiplication.
Language:Coq00
iterative_methods
Verified Error Analysis for Stationary Iterative Methods
Language:Coq1 2 00
ExtendedProofRules
Language:Coq00
Toy-Language-Address
A formalization of Separation Logic under 3 different programming languages.
Language:Coq0 1 00
ychtao.github.io
Language:SCSS00

ychtao's Repositories

ychtao/ExtendedProofRules
Language:Coq00
ychtao/Toy-Language-Address
A formalization of Separation Logic under 3 different programming languages.
Language:Coq0 1 00
ychtao/ychtao.github.io
Language:SCSS00