I am Valentino Filipetto, I was born in Italy and I currently live in Amsterdam and work in The Hague as software developer for Nationale-Nederlanden.
🎯
Focusing
-
Nationale-Nederlanden
- Amsterdam (Netherlands)
-
15:50
(UTC +02:00) - https://tinosway.me/
- in/valentino-filipetto-405b7198
Pinned Loading
-
Intuitionistic_theorem_prover
Intuitionistic_theorem_prover PublicForked from funcspec/report-example
An implementation in Haskell of a tableau-style proof system for the implication-free fragment of intuitionistic propositional logic.
Haskell
-
tinos-way
tinos-way PublicMy personal site, where I talk about music, programming, literature and politics.
CSS
-
adventoftypescript2023
adventoftypescript2023 PublicRepo containing the solutions I worked out for AdventOfTypeScript 2023
TypeScript
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.