Step into the world of mathematical computation with live editors, visual theorem provers, and category theory simulations.
Launch Interactive ToolsBuild and verify type systems using Coq and Agda frameworks
Explore category theory concepts through real-time visual transformations
Write and execute lambda expressions in your browser
Experiment with Haskell, ML, and Scala type systems through a browser-based REPL.
Watch the Y combinator unfold in real-time as it creates recursive fixed points.