Debian package coq
proof assistant for higher-order logic (toplevel and compiler)
Summary
Count | 130 occurrences |
---|---|
State | Alive |
Last occurred | |
Habitening next | |
Age | |
Average | |
Honeymoon | |
Trend | None |
In degree | 10 |
Out degree | 0 |
External link |
proof assistant for higher-order logic (toplevel and compiler)
Count | 130 occurrences |
---|---|
State | Alive |
Last occurred | |
Habitening next | |
Age | |
Average | |
Honeymoon | |
Trend | None |
In degree | 10 |
Out degree | 0 |
External link |
lightbulb_outline Didn't find what you were looking for? Create your own!