Verification of http://vixra.org/abs/1710.0309
Primary LanguageCoq
No one’s star this repository yet.