Théo Winterhalter
@winterhalter_t
Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
ID: 1532694683658424321
https://theowinterhalter.github.io/ 03-06-2022 12:05:59
42 Tweet
109 Takipçi
98 Takip Edilen
@winterhalter_t
Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.
ID: 1532694683658424321
https://theowinterhalter.github.io/ 03-06-2022 12:05:59
42 Tweet
109 Takipçi
98 Takip Edilen