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