search

hesterj / Gator

Automated Theorem Prover in C++ with GMP
0 stars 1 forks source link

This is good work #1

Open Jovonni opened 6 years ago

Jovonni commented 6 years ago

You thinking of furthering this? Still to this day, I can't find a good theorem prover in c++.

hesterj commented 6 years ago

Hey,

You might want to look in to Vampire, which is coded in C++. It is one of the best theorem provers in the world according to CASC, which is a competition for theorem provers.

https://github.com/vprover/vampire

[https://avatars2.githubusercontent.com/u/6704909?s=400&v=4]https://github.com/vprover/vampire

vprover/vampirehttps://github.com/vprover/vampire github.com vampire - The Vampire Theorem Prover

John

From: Jovonni L. Pharr notifications@github.com Sent: Thursday, April 26, 2018 10:08:55 PM To: hesterj/Godel Cc: Subscribed Subject: [hesterj/Godel] This is good work (#1)

You thinking of furthering this? Still to this day, I can't find a good theorem prover in c++.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_hesterj_Godel_issues_1&d=DwMCaQ&c=pZJPUDQ3SB9JplYbifm4nt2lEVG5pWx2KikqINpWlZM&r=TexOPlsTK07FslwKA7jJpQ&m=VwNfLatlNUUUM9WeRHWomcgQQy3-2Aks_XsS_xb6okM&s=oD2pgTHWlFakOzZpEIiGSIn6UuRhtWBVRnI6A9pU3wE&e=, or mute the threadhttps://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_notifications_unsubscribe-2Dauth_AG0xTAr9xQS1Xbzqky5aTMqiqHbUzgaXks5tsn23gaJpZM4Tpp8h&d=DwMCaQ&c=pZJPUDQ3SB9JplYbifm4nt2lEVG5pWx2KikqINpWlZM&r=TexOPlsTK07FslwKA7jJpQ&m=VwNfLatlNUUUM9WeRHWomcgQQy3-2Aks_XsS_xb6okM&s=ZvCLOihwYXRmYW6kY_dIAfYAZJPk_2HdU7zNd2K-jLM&e=.

Jovonni commented 6 years ago

I O U. Thanks