Settings |  Report Duplicate

0
I Use This!
Activity Not Available
Analyzed 4 months ago. based on code collected 5 months ago.

Project Summary

Software Foundations in Idris

Tags

coq idris proof_assistant proofs textbook

In a Nutshell, software-foundations...

Quick Reference

Project Links:

Code Locations:
https://github.com/idris-hackers...
Similar Projects:
Managers:
Eric Bailey

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    search using multiple tags to find exactly what you need
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    check out hot projects on the Open Hub

Code

Lines of Code

Activity

Commits per Month

Community

Languages

TeX/LaTeX 		29%
HTML 		25%
Nix 		15%
4 Other 		31%

30 Day Summary

Jan 2 2025 — Feb 1 2025

12 Month Summary

Feb 1 2024 — Feb 1 2025

Most Recent Contributors

Eric Bailey Erlend Hamberg
...Muijnck-Hughes Alex Gryzlov
Anton Trunov

Ratings

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