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
In chapter 5.3 in primes_infinite the refine' tactic is used without explanation in the text. It seems that the philosophy of the text is to explain all new tactics used in the code.
The text was updated successfully, but these errors were encountered:
In chapter 5.3 in
primes_infinite
therefine'
tactic is used without explanation in the text. It seems that the philosophy of the text is to explain all new tactics used in the code.The text was updated successfully, but these errors were encountered: