| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| alt | ||
| examples | ||
| extra | ||
| tests | ||
| Makefile | ||
| README.adoc | ||
| coercions.lp | ||
| eq.lp | ||
| lambdapi.pkg | ||
| lhol.lp | ||
| logical.lp | ||
| nat.lp | ||
| pvs_cert.lp | ||
| restrict.lp | ||
| sum.lp | ||
| tuple.lp | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| alt | ||
| examples | ||
| extra | ||
| tests | ||
| Makefile | ||
| README.adoc | ||
| coercions.lp | ||
| eq.lp | ||
| lambdapi.pkg | ||
| lhol.lp | ||
| logical.lp | ||
| nat.lp | ||
| pvs_cert.lp | ||
| restrict.lp | ||
| sum.lp | ||
| tuple.lp | ||