2019-02-17 | Christian Urban | updated | file | diff | annotate |
2019-01-02 | Christian Urban | updated | file | diff | annotate |
2018-09-30 | Christian Urban | updated | file | diff | annotate |
2018-08-18 | Christian Urban | updated | file | diff | annotate |
2018-08-16 | Christian Urban | updated | file | diff | annotate |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |