Li Jiatu's repositories
Proof-of-Surreal
A formal proof of NOI 2020 D2T2
Formalization-PAL
A formalization of PAL+modal logic S5 in Lean, as an experiment to formalize logic systems in proof assistant
Cqq-Project
A Simple Interpreter For A Small Subset of C++
Hyper-OS
Operating System Simulator
Language:C++000
ljt12138.github.io
test page
Language:HTML000
Puzzle-Toad-CN
Puzzle Toad : Statements and Solutions
000