Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: important
1 item with this tag.
Sep 07, 2025
Expressiveness of cyclic proofs
context/epit
type/lecture-note
topic/automata
topic/proof-theory
idea
important
question