Rule 401.3 · Library
Any player may count the number of cards remaining in any player’s library at any time.
Ask the judge Pro
The life counter has an AI judge that answers your play citing the exact rules. It is part of Gatewatch Pro; the rules, Oracle text and rulings stay free.