note1keery... chris martens @chris martens 1781975016 @nprofile1q... i mean software for doing computer-assisted theorem proving, such as Rocq, Lean, and Agda
