▲ 2 pointsGilles Dowek: an explorer of formal methodsinria.frby homarp·1y ago·0 comments·view on hn ↗