dependently-typed wiki
  • github
  • Governance

    We have a board that helps to manage and run the club. However, the club is all about the community and major decisions are driven through community deliberation.

    Titles

    • Director
    • Operations
    • Treasurer
    • Communications

    History

    Founder: Elton Pinto

    fall 2021

    • director: TBD
    • operations: TBD
    • treasurer: TBD
    • communications: TBD

    Contacts