USTC-Solvay

Pinned Repositories

coq-intro
Slides: The Coq Proof Assistant
Language:HTML40
USTC-Solvay.github.io
Language:HTML00

USTC-Solvay's Repositories

USTC-Solvay/coq-intro
Slides: The Coq Proof Assistant
Language:HTML40
USTC-Solvay/USTC-Solvay.github.io
Language:HTML00