]>
-rw-r--r-- | 268 | Makefile | blob | raw |
drwxr-xr-x | - | PTS | tree |
drwxr-xr-x | - | Plogic | tree |
-rw-r--r-- | 1304 | TPTP.ma | blob | raw |
drwxr-xr-x | - | algebra | tree |
drwxr-xr-x | - | arithmetics | tree |
drwxr-xr-x | - | basics | tree |
-rw-r--r-- | 9040 | core_notation.ma | blob | raw |
drwxr-xr-x | - | datatypes | tree |
-rw-r--r-- | 3327 | depends | blob | raw |
-rw-r--r-- | 7646 | depends.dot | blob | raw |
-rw-r--r-- | 620752 | depends.png | blob | raw |
-rw-r--r-- | 4126 | hints_declaration.ma | blob | raw |
drwxr-xr-x | - | logic | tree |
drwxr-xr-x | - | nat | tree |
drwxr-xr-x | - | overlap | tree |
drwxr-xr-x | - | properties | tree |
drwxr-xr-x | - | re | tree |
-rw-r--r-- | 23 | root | blob | raw |
drwxr-xr-x | - | sets | tree |
drwxr-xr-x | - | topology | tree |