Tue, 22 May 2018 18:14:29 +0000 | haftmann | automatic classical rule to derive a dvd b from b mod a = 0 | changeset | files |
Tue, 22 May 2018 18:14:29 +0000 | haftmann | consider dvdE for automated classical proving | changeset | files |
Tue, 22 May 2018 17:15:02 +0200 | blanchet | added lambda-free HO output for Ehoh (higher-order E prototype) | changeset | files |