0
I Use This!
Inactive
Analyzed about 14 hours ago. based on code collected about 15 hours ago.

Project Summary

simple typed lambda calculus on Coq

Tags

No tags have been added

In a Nutshell, mzp's lambda...

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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

coq
100%
2 Other
<1%

30 Day Summary

Apr 30 2024 — May 30 2024

12 Month Summary

May 30 2023 — May 30 2024

Ratings

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