Popular repositories Loading

1. Yu-s-Graduation-Project.github.io Yu-s-Graduation-Project.github.io Public

2. Proposal Proposal Public

   C++

3. njuthesis njuthesis Public

   Forked from jiangyy/njuthesis

   南京大学山寨毕业论文模版

   Python

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

5. Code-Base-Final Code-Base-Final Public

   C++