Continue Reading Post >

Latest Tweets

Trying to make some thumbnail compositions of some of my adventures in the #CavesOfQud I'm not gonna say my chara… https://t.co/lNpyIhpGGy
18th May, 2019
Graph theory in Coq: Minors, treewidth, and isomorphisms. ~ C. Doczkal, D. Pous. https://t.co/t2fkVqC6pk #ITP #Coq #Math
18th May, 2019
This Flan's ketoness is formally verified in #coq https://t.co/BBu77MoDAF
17th May, 2019
Quite the long answer on rituals to appease the #Coq termination checker... https://t.co/DKNfZpS1TQ
15th May, 2019