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

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    you can embed statistics from Open Hub on your site

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!