| 2021-12-07 | wenzelm | proper ML types (amending 1aa92bc4d356); | changeset | files |
| 2021-12-07 | wenzelm | proper types for Scala.Fun instances (amending 1aa92bc4d356); | changeset | files |
| 2021-12-07 | wenzelm | proper syntax category; | changeset | files |
| 2021-12-11 | wenzelm | provide component naproche-20211211; | changeset | files |
| 2021-12-10 | wenzelm | merged | changeset | files |
| 2021-12-10 | wenzelm | more Mailman archives; | changeset | files |
| 2021-12-10 | wenzelm | more Mailman content; | changeset | files |
| 2021-12-10 | wenzelm | clarified signature; | changeset | files |
| 2021-12-10 | desharna | tuned metis to use map_index | changeset | files |
| 2021-12-10 | desharna | merged | changeset | files |
| 2021-12-10 | desharna | fixed HOL-TPTP | changeset | files |
| 2021-12-09 | desharna | tuned vars_of_iterm | changeset | files |
| 2021-12-07 | desharna | fixed TPTP generation of multi-arity expressions | changeset | files |
| 2021-11-29 | desharna | proper handling of Hilbert choice in TFX logics | changeset | files |
| Loading... | |||