6 lines
66 B
Coq
6 lines
66 B
Coq
|
import euler
|
||
|
|
||
|
fn main() {
|
||
|
println(euler.find_nth_prime(10001))
|
||
|
}
|