| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| prenex | ||
| arity-tools.lp | ||
| bool_plus.lp | ||
| deptype.lp | ||
| fixpoints.lp | ||
| if.lp | ||
| pvs_core.lp | ||
| star.lp | ||
| telescope.lp | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| prenex | ||
| arity-tools.lp | ||
| bool_plus.lp | ||
| deptype.lp | ||
| fixpoints.lp | ||
| if.lp | ||
| pvs_core.lp | ||
| star.lp | ||
| telescope.lp | ||