Interactive tools for exploring logic, computation, and formal systems through dynamic visualizations.
Build and evaluate expressions in the foundation of functional programming.
Visualize how propositions derive from axioms using truth tables and proofs.
Experiment with integrals, derivatives, and numerical methods.
Enter a logical expression and click "Analyze" to see truth tables, validity check, and equivalent forms.
λxν is built by mathematicians, programmers, and educators. We're always looking for new contributors.
👩💻 Contribute Now