Prime numbers

A prime is a natural number which has two factors bigger than one. To specify a variable which is of prime type we could write: We can expand the definition for isPrime to see that it is a propositional function which is a definition for prime numbers: We can evaulate them using the fast evaluator Another example So we can define a prime type as follows: