- 🔍 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
fbbdev/fbbdev
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|