0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 2 days 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
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    you can embed statistics from Open Hub on your site

Languages

coq
100%
2 Other
<1%

30 Day Summary

May 25 2022 — Jun 24 2022

12 Month Summary

Jun 24 2021 — Jun 24 2022

Ratings

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