Reposted by Sylvain Schmitz
CS Prof at Université Paris Cité (IRIF). Dabbing in logic, computational complexity, verification, etc. Personal account and personal views; expect me to […] 🌉 bridged from ⁂ social.sciences.re/@sylvainschmitz, follow @ap.brid.gy to interact