Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/windsteiger/Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
https://github.com/windsteiger/Theorema
Last synced: about 1 month ago
JSON representation
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
- Host: GitHub
- URL: https://github.com/windsteiger/Theorema
- Owner: windsteiger
- License: gpl-3.0
- Created: 2012-11-07T17:15:14.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2021-08-30T13:41:01.000Z (over 3 years ago)
- Last Synced: 2024-08-04T09:01:15.958Z (5 months ago)
- Language: Mathematica
- Homepage:
- Size: 4.63 MB
- Stars: 70
- Watchers: 14
- Forks: 14
- Open Issues: 23
Awesome Lists containing this project
- awesome-wolfram-language - Theorema