chiark / gitweb /
Split 'pyke/' into commit 'e5aa77d831ad8b42167f3205ee290f238003e20a'
[catacomb-python] / pock.1
2019-11-27 Mark WoodingSplit 'pyke/' into commit 'e5aa77d831ad8b42167f3205ee29...
2019-11-25 Mark WoodingMerge branch '1.2.x' into 1.3.x
2019-09-21 Mark WoodingMerge branch 'mdw/aead'
2019-09-21 Mark Woodingpock.1: Explicitly resolve the absolute-value wrapping...
2019-09-21 Mark Woodingpock.1: Fix clumsy wording in Pocklington proof.
2019-09-21 Mark Woodingpock.1: Make a less fatuous observation.
2019-09-21 Mark Woodingpock.1: Fix Pocklington proof.
2019-09-21 Mark Woodingpock.1: Mention Baillie-PSW and why `pock' is still...
2018-11-10 Mark Woodingpock: New program for generating and verifying primalit...