You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We should develop some theory about divisibility for nat and define a predicate IsPrime. This will be useful for various things that require prime numbers such as algebra and localization.
The text was updated successfully, but these errors were encountered:
We should develop some theory about divisibility for
nat
and define a predicateIsPrime
. This will be useful for various things that require prime numbers such as algebra and localization.The text was updated successfully, but these errors were encountered: