CoSMeDis: A confidentiality-verified distributed social media platform by Thomas Bauereiss 📧 and Andrei Popescu 🌐 Aug 16
CoSMed: A confidentiality-verified social media platform by Thomas Bauereiss 📧 and Andrei Popescu 🌐 Aug 16
CoCon: A Confidentiality-Verified Conference Management System by Andrei Popescu 🌐, Peter Lammich 📧 and Thomas Bauereiss 📧 Aug 16
From Abstract to Concrete Gödel's Incompleteness Theorems—Part II by Andrei Popescu 🌐 and Dmitriy Traytel 🌐 Sep 16
From Abstract to Concrete Gödel's Incompleteness Theorems—Part I by Andrei Popescu 🌐 and Dmitriy Traytel 🌐 Sep 16
An Abstract Formalization of Gödel's Incompleteness Theorems by Andrei Popescu 🌐 and Dmitriy Traytel 🌐 Sep 16
Operations on Bounded Natural Functors by Jasmin Christian Blanchette 📧, Andrei Popescu 🌐 and Dmitriy Traytel 🌐 Dec 19
Abstract Completeness by Jasmin Christian Blanchette 🌐, Andrei Popescu 🌐 and Dmitriy Traytel 🌐 Apr 16
Sound and Complete Sort Encodings for First-Order Logic by Jasmin Christian Blanchette 🌐 and Andrei Popescu 🌐 Jun 27