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
Some of the ranges are oversubscribed by a lot (currently 6 digits).
Think about number of digits of geq or leq proofs that cover semantic range (e.g. when proving a user has a streak larger than 10, supporting streaks up to 200 weeks in a row might be sufficiently large). Find the smallest number of digits that can represent 200-10.
The text was updated successfully, but these errors were encountered:
Some of the ranges are oversubscribed by a lot (currently 6 digits).
Think about number of digits of geq or leq proofs that cover semantic range (e.g. when proving a user has a streak larger than 10, supporting streaks up to 200 weeks in a row might be sufficiently large). Find the smallest number of digits that can represent 200-10.
The text was updated successfully, but these errors were encountered: