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 11, 2025, 12:54 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?
Alex K Offline
Ich fühle Luft von anderem Planeten
*****
Religious Views: Theism is not plausible
Posts: 18510
Threads: 129
Joined: January 19, 2014
Reputation: 90
#3
RE: Proof Assistants/Interactive Theorem Provers: Any recommendations?
March 10, 2017 at 10:13 am
I've never used one. I'd imagine they'd be pretty limiting because most proofs deal with complex constructions with so many logical "moving parts"... but I'd be interested to hear if you have any experience with them...
The fool hath said in his heart, There is a God. They are corrupt, they have done abominable works, there is none that doeth good.
Psalm 14, KJV revised edition

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 Alex K - March 10, 2017 at 10:13 am

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



Users browsing this thread: 1 Guest(s)