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, 4:14 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?
I_am_not_mafia Offline
Senior Member
****
Religious Views: Gnostic atheist
Posts: 7392
Threads: 53
Joined: January 15, 2015
Reputation: 88
#6
RE: Proof Assistants/Interactive Theorem Provers: Any recommendations?
March 11, 2017 at 6:09 am (This post was last modified: March 11, 2017 at 6:10 am by I_am_not_mafia.)
I think this is a new one.  No idea if you'll find this useful or not. My maths just isn't that good. Came across it and thought of your thread.

https://ncatlab.org/nlab/show/Globular


Quote:Globular is a web-based proof assistant for finitely-presented semistrict globular higher categories. It allows one to formalize higher-categorical proofs in finitely-presented n-categories, visualize them as string diagrams, and share them with collaborators, or with the world.
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 I_am_not_mafia - March 11, 2017 at 6:09 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)