inlm/closure-table
Traits for Closure Table in LeanMapper
View on Github
Activity
- Latest release
- 8y ago
- Total releases
- 3
- Cadence
- ~11 months
- Last 12 months
- 0
Reach
- Stars
- —
Details
- License
- BSD-3-Clause
- First release
- Mar 06, 2016
Releases
| Version | Released | |
|---|---|---|
v1.1.0
minor
| ||
v1.0.1
patch
| ||
v1.0.0
initial
|