Packages tagged theorem-proving
1 package has this tag.
[Merge tag] (trustees only)Related tags: deprecated (1), library (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| proof-combinators (deprecated in favor of liquid-prelude) | 2 | 0.0 | 1 | DEPRECATED | (deprecated, library, mit, theorem-proving) | 2018-03-28 | 0.1.0.0 | FacundoDominguez, nikivazou |