bonak

Settings | Report Duplicate

0

I Use This!

Moderate Activity

Analyzed about 14 hours ago. based on code collected about 19 hours ago.

Project Summary

🧊 An indexed construction of truncated n-types

Tags

coq hott logic mathematics proving theorem

In a Nutshell, bonak...

...
has had 883 commits made by 2 contributors
representing 4,491 lines of code
...
is mostly written in coq
with an unknown number of source code comments
...
has a codebase with a long source history
maintained by a small development team
with decreasing Y-O-Y commits
...
took an estimated 1 years of effort (COCOMO model)
starting with its first commit in August, 2019
ending with its most recent commit about 1 month ago

Quick Reference

Code Locations:

https://github.com/artagnon/bonak

Similar Projects:

Ramkumar Ramachandra

Licenses

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.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

...
nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
...
search using multiple tags to find exactly what you need
...
55% of companies leverage OSS for production infrastructure
...
compare projects before you chose one to use

Code

Lines of Code

Activity

Commits per Month

Community

Contributors per Month

Languages

TeX/LaTeX	100%

30 Day Summary

Mar 19 2024 — Apr 18 2024

0 Commits
0 Contributors

12 Month Summary

Apr 18 2023 — Apr 18 2024

87 Commits
Down -223 (71%) from previous 12 months
2 Contributors
Down 0 (0%) from previous 12 months

Most Recent Contributors

...ar Ramachandra

Ratings

Be the first to rate this project

Click to add your rating

Review this Project!