Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Home
❯
10 Projects
Folder: 10-Projects
9 items under this folder.
Sep 16, 2025
BCD subtyping
Sep 10, 2025
Meeting Notes
Sep 07, 2025
Encoding
Sep 07, 2025
Seminar Notes
Sep 10, 2025
French Learning Plan
type/project
Sep 07, 2025
Exploratory Directions in Bisimulation - Pre-evaluating Future Applications
type/project
topic/automata
topic/category-theory
topic/coinduction
topic/recursive-types
topic/subtyping
Sep 07, 2025
Leveraging Advanced Coinductive Techniques in Coq for Formalizing "Recursive Subtyping Revealed"
type/project
topic/coinduction
topic/recursive-types
topic/subtyping
Sep 07, 2025
Problem Session - Tower coinduction in Rocq
type/project
topic/coinduction
topic/subtyping
Sep 07, 2025
The generalized unfolding lemma
type/project
topic/subtyping