0
I Use This!
Activity Not Available
Analyzed over 1 year ago. based on code collected over 1 year 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...

  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

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

30 Day Summary

Feb 2 2020 — Mar 3 2020

12 Month Summary

Mar 3 2019 — Mar 3 2020

Ratings

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