Debian package elan
tool for managing installations of the Lean theorem prover
Summary
| Count | 20 occurrences |
|---|---|
| State | Alive |
| Last occurred | |
| Habitening next | |
| Age | |
| Average | |
| Honeymoon | |
| Trend | None |
| In degree | 1 |
| Out degree | 9 |
| External link |
tool for managing installations of the Lean theorem prover
| Count | 20 occurrences |
|---|---|
| State | Alive |
| Last occurred | |
| Habitening next | |
| Age | |
| Average | |
| Honeymoon | |
| Trend | None |
| In degree | 1 |
| Out degree | 9 |
| External link |
lightbulb_outline Didn't find what you were looking for? Create your own!