[EuroPython 2023 — South Hall 2B on 2023-07-19] https://ep2023.europython.eu/session/bulletproof-python-writing-fewer-tests-with-a-typed-code-base A fully typed code base requires less test code to achieve the same level of confidence in its correctness. We'll analyze specific code examples and see how dependent types and exhaustiveness checking make certain classes of tests obsolete. This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License http://creativecommons.org/licenses/by-nc-sa/4.0/