projects / helm.git / tree
| drwxr-xr-x | - | TPTP | tree |
| -rw-r--r-- | 1327 | absurd.ma | blob | raw |
| -rw-r--r-- | 2146 | apply.ma | blob | raw |
| -rw-r--r-- | 1215 | apply2.ma | blob | raw |
| -rw-r--r-- | 1583 | applys.ma | blob | raw |
| -rw-r--r-- | 1586 | assumption.ma | blob | raw |
| drwxr-xr-x | - | bad_tests | tree |
| -rw-r--r-- | 22813 | bool.ma | blob | raw |
| -rw-r--r-- | 1740 | change.ma | blob | raw |
| -rw-r--r-- | 1354 | clear.ma | blob | raw |
| -rw-r--r-- | 1410 | clearbody.ma | blob | raw |
| -rw-r--r-- | 3719 | coercions.ma | blob | raw |
| -rw-r--r-- | 1440 | comments.ma | blob | raw |
| -rw-r--r-- | 1224 | constructor.ma | blob | raw |
| -rw-r--r-- | 2303 | continuationals.ma | blob | raw |
| -rw-r--r-- | 1403 | contradiction.ma | blob | raw |
| -rw-r--r-- | 1247 | cut.ma | blob | raw |
| -rw-r--r-- | 6976 | decl.ma | blob | raw |
| -rw-r--r-- | 1375 | decompose.ma | blob | raw |
| -rw-r--r-- | 1997 | demodulation_coq.ma | blob | raw |
| -rw-r--r-- | 1417 | demodulation_matita.ma | blob | raw |
| -rw-r--r-- | 2129 | dependent_injection.ma | blob | raw |
| -rw-r--r-- | 2559 | discriminate.ma | blob | raw |
| -rw-r--r-- | 2956 | elim.ma | blob | raw |
| -rw-r--r-- | 4340 | fguidi.ma | blob | raw |
| -rw-r--r-- | 1498 | first.ma | blob | raw |
| -rw-r--r-- | 1431 | fix_betareduction.ma | blob | raw |
| -rw-r--r-- | 1445 | fold.ma | blob | raw |
| -rw-r--r-- | 1832 | generalize.ma | blob | raw |
| -rw-r--r-- | 27509 | hard_refine.ma | blob | raw |
| -rw-r--r-- | 2131 | injection.ma | blob | raw |
| drwxr-xr-x | - | interactive | tree |
| -rw-r--r-- | 2142 | inversion.ma | blob | raw |
| -rw-r--r-- | 1972 | inversion2.ma | blob | raw |
| -rw-r--r-- | 1340 | letrec.ma | blob | raw |
| -rw-r--r-- | 977 | makefile | blob | raw |
| -rw-r--r-- | 1910 | match_inference.ma | blob | raw |
| -rw-r--r-- | 4233 | metasenv_ordering.ma | blob | raw |
| -rw-r--r-- | 1903 | multiple_inheritance.ma | blob | raw |
| -rw-r--r-- | 1104 | mysql_escaping.ma | blob | raw |
| -rw-r--r-- | 1791 | naiveparamod.ma | blob | raw |
| -rw-r--r-- | 1566 | paramodulation.ma | blob | raw |
| drwxr-xr-x | - | paramodulation | tree |
| -rw-r--r-- | 2123 | pullback.ma | blob | raw |
| -rw-r--r-- | 1723 | record.ma | blob | raw |
| -rw-r--r-- | 1906 | replace.ma | blob | raw |
| -rw-r--r-- | 2399 | rewrite.ma | blob | raw |
| -rw-r--r-- | 1362 | second.ma | blob | raw |
| -rw-r--r-- | 1993 | simpl.ma | blob | raw |
| -rw-r--r-- | 1336 | test2.ma | blob | raw |
| -rw-r--r-- | 1432 | test3.ma | blob | raw |
| -rw-r--r-- | 1477 | test4.ma | blob | raw |
| -rw-r--r-- | 1368 | third.ma | blob | raw |
| -rw-r--r-- | 1633 | tinycals.ma | blob | raw |
| -rw-r--r-- | 1752 | unfold.ma | blob | raw |