0
I Use This!
Inactive
Analyzed 1 day ago. based on code collected 1 day ago.

Project Summary

Software Foundations in Idris

Tags

coq idris proof_assistant proofs textbook

In a Nutshell, software-foundations...

Quick Reference

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
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    check out hot projects on the Open Hub

Languages

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

30 Day Summary

Jul 25 2025 — Aug 24 2025

12 Month Summary

Aug 24 2024 — Aug 24 2025