{"id":101261,"url":"https://bentnib.org/quantitative-type-theory.html","last_synced_at":"2025-08-22T20:33:01.775Z","repository":null,"keywords":[],"created_at":"2024-01-06T02:21:27.073Z","updated_at":"2024-01-06T13:16:24.980Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Type theory"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/bentnib.org%2Fquantitative-type-theory.html","html_url":"https://awesome.ecosyste.ms/projects/bentnib.org%2Fquantitative-type-theory.html","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/bentnib.org%2Fquantitative-type-theory.html/lists"}