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, 10:31 am
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?
Aristocatt Offline
Member
***
Religious Views: Agnostic Atheist
Posts: 891
Threads: 6
Joined: June 26, 2015
Reputation: 9
#5
RE: Proof Assistants/Interactive Theorem Provers: Any recommendations?
March 10, 2017 at 4:38 pm (This post was last modified: March 10, 2017 at 4:43 pm by Aristocatt.)
This is a bit out of my purview.

When in doubt about something mathematical in CS, I default to googling Haskell <Mathematical concept>
https://wiki.haskell.org/Applications_an...em_provers

Edit: Haskell is a good option in general if you want to improve proof-writting (I am vaguely alluding to things friends of mine in the CS/Mathematics community have told me about haskell, so I can't give you a very definitive answer to "Improving your proof writting".)
http://softwareengineering.stackexchange...he-program
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 Aristocatt - March 10, 2017 at 4:38 pm

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)