Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | factored out ancient numeral representation | changeset | files |
Wed, 01 Jul 2020 17:32:11 +0000 | haftmann | moved to Word_Lib | changeset | files |
Wed, 01 Jul 2020 17:32:10 +0000 | haftmann | more explicit proofs | changeset | files |