markulf
commented
8 years ago Related to crypto code review https://github.com/mitls/mitls-fstar/issues/80
Open vkanne-msft opened 8 years ago
markulf
commented
8 years ago Related to crypto code review https://github.com/mitls/mitls-fstar/issues/80
The following experiment might help find a good verification style: https://github.com/FStarLang/FStar/issues/643
@nikswamy @s-zanella