Home
last modified time | relevance | path

Searched defs:prooftext (Results 1 – 2 of 2) sorted by relevance

/dports/math/p5-Math-Prime-Util-GMP/Math-Prime-Util-GMP-0.52/
H A DXS.xs323 char* prooftext = 0; variable
H A Dprimality.c1547 int _GMP_is_provable_prime(mpz_t n, char** prooftext) in _GMP_is_provable_prime()