windsteiger / TheoremaLinks
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
☆73Updated 4 years ago
Alternatives and similar repositories for Theorema
Users that are interested in Theorema are comparing it to the libraries listed below
Sorting:
- The MMT Language and System☆76Updated 2 weeks ago
- Highlighting of Mathematica code for Mathematica.stackexchange☆50Updated 6 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆93Updated last year
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- CAP project -- Categories, Algorithms, and Programming☆35Updated this week
- Integrating notebooks to Mathematica's documentation center☆30Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last week
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Theorem proving in Lean☆49Updated 11 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
- knot theory and computational algebra software☆38Updated 11 years ago
- A heuristic procedure for proving inequalities☆33Updated 7 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆83Updated 2 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Mathematical Components (the Book)☆147Updated 2 weeks ago
- Metamath program - source code for the Metamath executable☆86Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- The formal proof of the Kepler conjecture☆163Updated last year
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Updated 10 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- ☆153Updated 3 weeks ago
- Deposited packages of the homalg project☆16Updated 2 weeks ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 8 years ago
- Kan: A browser extension for reading nLab☆30Updated 6 years ago
- The mathematical study of type theories, in univalent foundations☆117Updated 7 months ago
- Real number computation software☆127Updated 3 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆144Updated last year