https://github.com/fbbdev/fbbdev

Repository for my profile readme
https://github.com/fbbdev/fbbdev

Last synced: 11 months ago
JSON representation

Repository for my profile readme

• Host: GitHub
• URL: https://github.com/fbbdev/fbbdev
• Owner: fbbdev
• Created: 2023-08-05T14:42:46.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-08-05T15:32:07.000Z (over 2 years ago)
• Last Synced: 2023-08-05T16:40:15.195Z (over 2 years ago)
• Size: 1000 Bytes
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
### Hello! 👋

- 🔍 I'm doing research at [SNS](https://www.sns.it/en/) on [the proof theory of classical logic](https://arxiv.org/abs/2307.16594)

- 🔧 I'm working on the virtual classrooms at [uwMeeting](https://uwmeeting.com/?lng=en)

- ✨ I make nice software (see below)

- 📫 Come visit me at [fbbdev.it](https://fbbdev.it)