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.

>>7
hahaha how is security real just turn off the computer nigga just don't use the internet