0
I Use This!
Moderate Activity
Analyzed 1 day ago. based on code collected 3 days ago.

Project Summary

🧊 An indexed construction of truncated n-types

Tags

coq hott logic mathematics proving theorem

MIT
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Use Patent Claims

Forbidden

Sub-License

Hold Liable

Required

Distribute Original

Disclose Source

Include Copyright

State Changes

Include License

Include Install Instructions

These details are provided for information only. No information here is legal advice and should not be used as such.

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

30 Day Summary

Oct 30 2023 — Nov 29 2023

12 Month Summary

Nov 29 2022 — Nov 29 2023
  • 191 Commits
    Down -93 (32%) from previous 12 months
  • 2 Contributors
    Down 0 (0%) from previous 12 months

Ratings

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