GitHub repository: shouya/thinking-dumps
Primary language: Coq
Description: This repo keeps track of my codes, answers and thinkings when exploring books.