windsteiger/Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
MathematicaGPL-3.0
Stargazers
- abduld
- adamhillWonderous Toys
- AkiiraBoston
- alexkowalenkoSydney, Australia
- amacfieCanada
- billly123
- bog-sb
- brandonwillard.txt
- cherry-wb
- choonCycle Group
- coruus
- daniel-acunaUniversity of Colorado at Boulder
- fredrik-johanssonINRIA & Institut de Mathématiques de Bordeaux
- haraldschillyvienna, austria
- hYPotenuser
- jeslyvargheseStorytel
- JetafullTokyo, Japan
- jiangplusshenzhen, china
- kirchnergoBerlin, Germany
- ksuenagaKyoto University
- magmagithubSomewhere over the rainbow
- MasterOdin@timescale
- pwightmanJump
- QuebecisniceMountain View, CA
- rhennigan
- SilviaHyde@Glimscape
- simonzack
- Solertis
- storedbox@HylandSoftware
- swannodetteNew York
- szhorvatIceland
- tbergman
- telefunkenvf14
- thehydroimpulseIn a dream; flying the skies
- utensil
- vinsvita