Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: context/hkuplg
5 items with this tag.
Oct 09, 2025
Recursive Module Playground
context/hkuplg
type/idea-note
Sep 29, 2025
Meeting Notes - Oct 2
type/meeting-note
topic/recursive-types
context/hkuplg
Sep 16, 2025
Formalization progress of controlled subtyping in Coq
type/moc
topic/distributivity
context/hkuplg
status/ongoing
Sep 10, 2025
Sept 10 - Seminar - The Power of Formalization in LLM Reasoning
type/seminar-note
topic/LLM
context/hkuplg
Sep 10, 2025
Sept 18 - Meeting
type/meeting-note
topic/subtyping
context/hkuplg
status/fleeting