Interactive Boolean Algebra explorer - Genuary 7 2026 - View it on GitHub