Tony's Wiki

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

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community