https://github.com/sourceduty/theorem_proof
🧮 Mathematical theorem proving assistant.
https://github.com/sourceduty/theorem_proof
ai artificial-intelligence chatgpt custom-gpt custom-gpts gpt gpts math-ai math-assistant math-proof math-proofing math-tool mathermatical meth-theory proof proven theorem theorem-proof theorem-proving theory
Last synced: 5 months ago
JSON representation
🧮 Mathematical theorem proving assistant.
- Host: GitHub
- URL: https://github.com/sourceduty/theorem_proof
- Owner: sourceduty
- Created: 2024-05-20T13:50:54.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-05-20T21:45:49.000Z (over 1 year ago)
- Last Synced: 2024-05-21T15:27:34.333Z (over 1 year ago)
- Topics: ai, artificial-intelligence, chatgpt, custom-gpt, custom-gpts, gpt, gpts, math-ai, math-assistant, math-proof, math-proofing, math-tool, mathermatical, meth-theory, proof, proven, theorem, theorem-proof, theorem-proving, theory
- Homepage: https://chatgpt.com/g/g-WuFNdZgXe-theorem-proof
- Size: 40 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md