0
I Use This!
Very Low 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...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    compare projects before you chose one to use
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

Languages

JavaScript
82%
CSS
8%
Haskell
6%
4 Other
4%

30 Day Summary

Jul 25 2025 — Aug 24 2025

12 Month Summary

Aug 24 2024 — Aug 24 2025