#
proven
Here are 4 public repositories matching this topic...
Create an svn repo sever on RHEL or Debian
-
Updated
Apr 27, 2017 - Shell
🧮 Mathematical theorem proving assistant.
ai
proof
theorem-proving
artificial-intelligence
theory
gpt
theorem
proven
math-assistant
math-tool
gpts
chatgpt
math-ai
custom-gpt
custom-gpts
math-proof
theorem-proof
mathermatical
math-proofing
meth-theory
-
Updated
May 20, 2024
-
Updated
Aug 20, 2017 - Ruby
Improve this page
Add a description, image, and links to the proven topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proven topic, visit your repo's landing page and select "manage topics."