- ๐ 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 / turing Goto Github PK
View Code? Open in Web Editor NEWTuring machine visualizer and analyzer
Home Page: https://fbbdev.it/turing/
License: GNU General Public License v3.0