0
I Use This!
Inactive
Analyzed about 9 hours ago. based on code collected about 9 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...

  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    data presented on the Open Hub is available through our API
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    compare projects before you chose one to use

Languages

Languages?height=75&width=75
Ruby
80%
Make
20%

30 Day Summary

Sep 20 2019 — Oct 20 2019

12 Month Summary

Oct 20 2018 — Oct 20 2019

Ratings

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