https://github.com/stp/docs

Documents
https://github.com/stp/docs

Last synced: 5 months ago
JSON representation

Documents

• Host: GitHub
• URL: https://github.com/stp/docs
• Owner: stp
• Created: 2014-06-26T23:20:16.000Z (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2024-05-30T14:58:51.000Z (about 2 years ago)
• Last Synced: 2024-05-30T17:51:42.535Z (about 2 years ago)
• Language: TeX
• Size: 888 KB
• Stars: 2
• Watchers: 8
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
This is *not* the documentation for STP, the Simple Theorem Prover.

Please see https://stp.readthedocs.io/ if that is what you're looking for.