Thu, 16 Aug 2018 01:12:00 +0100 | Christian Urban | updated | changeset | files |
Wed, 15 Aug 2018 13:48:57 +0100 | Christian Urban | added proof for bitcoded algorithm | changeset | files |
Wed, 16 May 2018 20:58:39 +0100 | Christian Urban | updated | changeset | files |