sudgy / math-from-nothingLinks
Developing mathematics in Coq from the ground up
☆24Updated 2 months ago
Alternatives and similar repositories for math-from-nothing
Users that are interested in math-from-nothing are comparing it to the libraries listed below
Sorting:
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- A math animation engine based on geometric algebra☆34Updated 7 months ago
- Library for exact real number computations☆40Updated 10 years ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- Python implementation of the monster group☆57Updated 3 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26Updated 5 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆41Updated 8 months ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…☆32Updated last year
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆99Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Updated last week
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 weeks ago
- ☆38Updated 2 years ago
- Code samples for Lean 4☆76Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Official repository of the FriCAS computer algebra system☆369Updated last week
- Source code for the nLab☆201Updated 10 months ago
- Implementation of a quantum simulator using APL☆18Updated 8 months ago
- The standard template to create a lean game☆40Updated 3 months ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- Effective Algebraic Topology in Haskell☆90Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆79Updated 7 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- Real number computation software☆129Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- A file-based mirror of the nLab wiki (HTML format).☆28Updated this week