0
I Use This!
Very Low Activity
Analyzed about 13 hours ago. based on code collected about 13 hours ago.

Project Summary

Yet another simple theorem prover

Tags

No tags have been added

In a Nutshell, hemera...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
Python
92%
Lisp
5%
XML
3%

30 Day Summary

Mar 23 2021 — Apr 22 2021

12 Month Summary

Apr 22 2020 — Apr 22 2021
  • 0 Commits
    Down -1 (100%) from previous 12 months
  • 0 Contributors
    Down -1 (100%) from previous 12 months

Ratings

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