This repository is a playground for our super amazing final year project (FYP). It contains relevant code, tasks, notes, and other things we encountered in our journey of formal verification, theorem proving, and more, all the way to our FYP's completion (which is coming soon!)...
fyp-tp-playground/
├── playground_*/ // contain the relevant code, tasks, Lean game's progress, and other things done by us
│ ├── *game_progress*.json // game progress files from the lean game server
│ ├── *.lean // some formalizations and interesting code in lean
│ ├── *.v // some formalizations and interesting code in rocq/coq
│ └── * // other things like slides during initial research
└── notes/ // just some notes we took for retaining concepts in memory