Sun, 27 Oct 2019 17:26:50 +0100 | immler | example applications of the 'metric' decision procedure, by Maximilian Schäffeler | changeset | files |
Sun, 27 Oct 2019 16:32:01 +0100 | immler | decision procedure for metric spaces, implemented by Maximilian Schäffeler | changeset | files |
Sun, 27 Oct 2019 16:47:27 +0100 | nipkow | NEWS | changeset | files |