modifying func_spec/rng/specs folder, original https://bitbucket.org/naphatkrit/rng
Primary LanguageCoq
No issues in this repository yet.