GitHub repository: monsterkrampe/proof-library
Primary language: Lean
Description: My personal proof playground for anything I want to formalize. Mostly this will be about (basics) of my own formal works.