(TXT) [2021.03.31] Deo Optimo Maximo (TXT) [2021.03.30] Cancelling (TXT) [2021.03.29] Collaborations (TXT) [2021.03.28] Bad Sleep (TXT) [2021.03.27] Open Library (TXT) [2021.03.26] Connect Four (TXT) [2021.03.25] Reinforcement Learning Virtual School (TXT) [2021.03.24] Sentier du Littoral (TXT) [2021.03.23] Generating Proofs (TXT) [2021.03.22] Busy Week (TXT) [2021.03.21] Turkestan Russe (TXT) [2021.03.20] Cycling Tunnels (TXT) [2021.03.19] New Lockdown (TXT) [2021.03.18] Interviewing Again (TXT) [2021.03.17] More cycling (TXT) [2021.03.16] Proof assistants now and then (TXT) [2021.03.15] arXiv (TXT) [2021.03.14] dot2tex (TXT) [2021.03.13] Modularity (TXT) [2021.03.12] asyncio (TXT) [2021.03.11] Internships (TXT) [2021.03.10] Le Mug et Les Fourmis (TXT) [2021.03.09] Belgian Beer (TXT) [2021.03.08] International Women's day put another way (TXT) [2021.03.07] Croissants (TXT) [2021.03.06] Becoming a Mathematician Again (TXT) [2021.03.05] Totalitarian Seminar (TXT) [2021.03.04] More Residuation Magic (TXT) [2021.03.03] Merry Weather (TXT) [2021.03.02] Residuated Binars (TXT) [2021.03.01] Python Client to Isabelle Server