3 Commits

Author SHA1 Message Date
Ben Edgington
1a196dd748 Simplify by removing the unnecessary extended polynomial 2021-02-11 07:43:49 +00:00
Ben Edgington
5dc78d40f2 Move some function arguments around 2021-02-10 13:02:22 +00:00
Ben Edgington
f476a0f6ce Add FK20 single proofs 2021-02-10 11:55:38 +00:00