|
/top,time_fun,pathname,pvsio_checker,is_prime,prime_check
reals/sign,sqrt_exists,sqrt,sq
top:time_fun,pathname,pvsio_checker,is_prime,prime_check
time_fun:
pathname:
pvsio_checker:time_fun,pathname,reals@sqrt
is_prime:
prime_check:pvsio_checker,is_prime
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
