Hello! 👋 🔍 I'm doing research at SNS on the proof theory of classical logic 🔧 I'm working on the virtual classrooms at uwMeeting ✨ I make nice software (see below) 📫 Come visit me at fbbdev.it