Shower idea

Implement a web browser using a language that supports dependant types in order to prove its correctness and that no vulnerabilities exist for it.

>>8
impossible to get by in this day and age without a computer, smartphone, and internet access