Computer Verified Exact Analysis (Tutorial)
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters (@BasspittersBs) / Twitter
Bas SPITTERS | Associate Professor | Dr | Aarhus University | AU | Department of Computer Science | Research profile
PDF) Type classes for efficient exact real arithmetic in CoQ
EPIT Spring School on HoTT Bas Spitters Part 3-哔哩哔哩
Bas Spitters: Smart Contracts and Formal Verification for the Blockchain - YouTube
Wiskundige droom vervuld in Princeton - Vox magazine
On the Category of hSets - Bas Spitters - YouTube
Bas Spitters
Bas Spitters - Scholars | Institute for Advanced Study
Philipp G. Haselwarter
Extracting Smart Contracts Tested and Verified in Coq (CPP 2021 - Certified Programs and Proofs) - POPL 2021
Bas Spitters - Product Owner - Capgemini | LinkedIn
Bas Spitters
Buy Peacock Bass Spitters Are Quitters Fishing Neck Gaiter Online in India - Etsy
Diego F. Aranha
Sneak peek from the INCUBA's Blockchain Event : r/Concordium_Official
Aarhus University at Digital Tech Summit 2022
EPIT Spring School on HoTT Bas Spitters Part 2-哔哩哔哩
Danil Annenkov
Bas Spitters - Homotopy type theory, synthetic topology and probabilistic programming - YouTube
Bas Spitters (@BasspittersBs) / Twitter
Type Classes for Mathematics
Bas Spitters (@BasspittersBs) / Twitter
