Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: idea
3 items with this tag.
Aug 19, 2025
May 19 Notes
idea
todo
think
Aug 19, 2025
Expressiveness of cyclic proofs
idea
important
question
Aug 19, 2025
Inductively find the middle type (cont.)
idea