Progress

Your study record, on this device

Interactive discrete math for CS students: topics, proof trainer, practice, and browser-native tools.

Start practising freeBrowse the 7 topicsOpen a calculator
  • No account needed
  • Nothing leaves your browser
  • Works offline

What is in here

7topics
534problems
54formulas
60proof tasks
0 learned0 saved0 practice attempts0% accuracy0 proof checks

Progress

Local study dashboard

No account required. Data stays in this browser until exported or cleared.

0practice attempts
0%accuracy
0proof checks
0saved problems
0learned items
54formula refs
Premium

Advanced progress is Premium

The per-topic accuracy breakdown, coverage bars, and study trends are a Premium feature. Your overall stats above stay free.

Unlock advanced progressKeep the free dashboard

Every topic and subtopic, all 54 formula references, all six calculators (truth tables, sets, GCD/LCM, base conversion, combinatorics, modular arithmetic), the basic progress dashboard, 20 practice problems drawn from all 7 topics and every difficulty, and one exercise in each proof mode are free forever - no account needed.

Data controls

Export or reset

{
  "learned": 0,
  "saved": 0,
  "attempts": 0,
  "targetMinutes": 20
}