Follow
@PHIL_FISH@mastodon.gamedev.place That's their revenge dish, for making world's mathematicians prove theorems with Coq.
@PHIL_FISH@mastodon.gamedev.place That's their revenge dish, for making world's mathematicians prove theorems with Coq.