docs: honest verification stance for hypatia<->verisim interface#19

hyperpolymath merged 1 commit into

mainhyperpolymath/vcl-ut:mainfrom

stance/verification-honesty-124hyperpolymath/vcl-ut:stance/verification-honesty-124Copy head branch name to clipboard