0
I Use This!
Moderate Activity
Analyzed 2 days ago. based on code collected 2 days ago.

Project Summary

The Incredible Proof Machine

Tags

No tags have been added

In a Nutshell, The Incredible Proof Machine...

Quick Reference

MIT License
Permitted

Commercial Use

Modify

Distribute

Sub-License

Private Use

Forbidden

Hold Liable

Required

Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    compare projects before you chose one to use
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    learn about Open Hub updates and features on the Open Hub blog

Languages

Languages?height=75&width=75
JavaScript
82%
CSS
8%
Haskell
7%
3 Other
3%

30 Day Summary

Feb 29 2020 — Mar 30 2020

12 Month Summary

Mar 30 2019 — Mar 30 2020
  • 31 Commits
    Up + 16 (106%) from previous 12 months
  • 3 Contributors
    Down -1 (25%) from previous 12 months