0
I Use This!
Very Low Activity
Analyzed about 11 hours ago. based on code collected about 11 hours 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...

  • ...
    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
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

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

30 Day Summary

Mar 16 2021 — Apr 15 2021

12 Month Summary

Apr 15 2020 — Apr 15 2021
  • 4 Commits
    Down -24 (85%) from previous 12 months
  • 1 Contributors
    Down -1 (50%) from previous 12 months