0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.

Tags

No tags have been added

In a Nutshell, Hermetica...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    data presented on the Open Hub is available through our API
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
C
51%
Autoconf
22%
shell script
22%
2 Other
5%

30 Day Summary

Jun 17 2018 — Jul 17 2018

12 Month Summary

Jul 17 2017 — Jul 17 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!