Confirmed users
299
edits
Line 75: | Line 75: | ||
* Ekr to reach out to rsleevi to start collaboration | * Ekr to reach out to rsleevi to start collaboration | ||
* Richard to reach out to openssl | * Richard to reach out to openssl | ||
== Choosing your Verification Library == | == Choosing your Verification Library == |