GitHub repository: thery/coqprime
Primary language: Coq
Created: 2017-10-31T12:29:08Z
Description: Prime numbers for Coq