| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| patches | ||
| .gitignore | ||
| Makefile | ||
| README.md | ||
| divides.lp.sh | ||
| lambdapi.pkg | ||
| number_fields.lp.patch | ||
| theories.json | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| patches | ||
| .gitignore | ||
| Makefile | ||
| README.md | ||
| divides.lp.sh | ||
| lambdapi.pkg | ||
| number_fields.lp.patch | ||
| theories.json | ||