Interactive Stuff

Small, interactive math visuals. Drop new HTML files in this repo and list them here.

Proof Methods Logic Map (P → Q) logic

Direct, contrapositive, and contradiction with live highlighting.

ε–δ Limit Explorer calculus

Play with ε and watch δ respond so that |x−a|<δ ⇒ |f(x)−L|<ε.

ε–N Sequence Visualizer analysis

Place N and watch points enter the ε-band around L: for n > N, |xₙ − L| < ε.

Bolzano–Weierstrass Explorer analysis

Extract convergent subsequences from bounded sequences — monotone (LIS/LDS) & nested intervals.

Uniform vs Pointwise Convergence Lab analysis

Compare f_n with its limit f, watch sup_x|f_n−f|, and explore ε–N heatmaps to test uniformity.