mathigon / world-of-mathematics
Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the general public.
☆32Updated 7 years ago
Alternatives and similar repositories for world-of-mathematics:
Users that are interested in world-of-mathematics are comparing it to the libraries listed below
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 6 years ago
- Life like molecular computers with artificial chemistry.☆134Updated 2 years ago
- Theorem proving in Lean☆49Updated 3 months ago
- Source code of Mathigon's interactive textbooks☆361Updated last week
- A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…☆177Updated 2 years ago
- A DSL for the internal language of a topos☆62Updated 10 months ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 2 years ago
- Animating fractional iterations in the Mandelbrot Set and Julia Sets.☆27Updated 4 years ago
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- Mathematical Components (the Book)☆141Updated last year
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- The Quantum IO Monad, implemented in Haskell☆101Updated 11 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated last week
- Textbook on metalogic based on the Open Logic Project☆37Updated last year
- An encyclopedia of proofs☆57Updated 3 months ago
- Course notes for Pure Mathematics Topic D 2019☆52Updated 4 years ago
- Tim Button's open textbook on set theory☆32Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Solutions to Paolo Aluffi's "Algebra: Chapter 0".☆57Updated 7 years ago
- interactive programming tutorials, powered by Github and Docker☆140Updated 6 months ago
- Homotopy theory in Coq.☆91Updated 13 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Applied Discrete Structures using PreTeXt☆43Updated 3 weeks ago
- The Incredible Proof Machine☆367Updated last year
- ☆161Updated 5 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated this week
- Code for my blog post "Generating Mazes with Inductive Graphs"☆36Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆141Updated last month