Our server costs ~$56 per month to run. Please consider donating or becoming a Patron to help keep the site running. Help us gain new members by following us on Twitter and liking our page on Facebook!
Current time: August 13, 2025, 3:12 pm
Atheist Forums › Science › Technology & Computing v
Proof Assistants/Interactive Theorem Provers: Any recommendations?

Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Thread Modes
Proof Assistants/Interactive Theorem Provers: Any recommendations?
Autumnlicious Away
Reborn
*****
Religious Views: Lillith is my homegirl
Posts: 6191
Threads: 124
Joined: November 13, 2009
Reputation: 70
#4
RE: Proof Assistants/Interactive Theorem Provers: Any recommendations?
March 10, 2017 at 1:09 pm
Try Coq

https://en.m.wikipedia.org/wiki/Coq

Used for proving four colors theorem.
Slave to the Patriarchy no more
Find
Reply


Atheist Forums › Science › Technology & Computing v
Proof Assistants/Interactive Theorem Provers: Any recommendations?

Messages In This Thread
RE: Proof Assistants/Interactive Theorem Provers: Any recommendations? - by Autumnlicious - March 10, 2017 at 1:09 pm

Possibly Related Threads...
Thread Author Replies Views Last Post
  Techtard recommendations. 5thHorseman 2 1361 July 27, 2012 at 4:57 pm
Last Post: 5thHorseman



Users browsing this thread: 1 Guest(s)