Hi, I’m Giulio Caflisch. I’m interested in formal scieces. I’m currently learning mathematics at ETH Zurich. I’m looking to learn symbolic computing and computer formalization in order to collaborate in the future. In my free time I play with Lego bricks (especially Mindstorms and Technic).
-
Notifications
You must be signed in to change notification settings - Fork 0
Config files for my GitHub profile.
giuliocaflisch/giuliocaflisch
About
Config files for my GitHub profile.
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published