Pinned Loading

1. Proof-of-Surreal Proof-of-Surreal Public

   A formal proof of NOI 2020 D2T2

   Lean 10 2

2. Formalization-PAL Formalization-PAL Public

   A formalization of PAL+modal logic S5 in Lean, as an experiment to formalize logic systems in proof assistant

   Lean 6 1

3. tqyaaaaang/Hyper-OS tqyaaaaang/Hyper-OS Public

   Operating System Simulator

   C++ 18 6

4. Cutepiler/Cutepiler-Sysy2020 Cutepiler/Cutepiler-Sysy2020 Public

   A compiler for Sysy2020 (a C-like toy language) on ARMv7-a

   C++