study-record

There are 2 repositories under study-record topic.

Logical-Foundations
<Logical Foundations> personal study record.
Language:Coq9
Data-Structure
[Study Record] personal source code in data structure course
Language:C++