Tony's Wiki
Search
Search
Dark mode
Light mode
Explorer
Tag: topic/distributivity
1 item with this tag.
Sep 16, 2025
Formalization progress of controlled subtyping in Coq
type/moc
topic/distributivity
context/hkuplg
status/ongoing