Name: Anonymous 2018-08-13 11:51
Implement a web browser using a language that supports dependant types in order to prove its correctness and that no vulnerabilities exist for it.
no vulnerabilities exist for itnot possible, P = NP