7 Commits

Author SHA1 Message Date
Ben Edgington
06afe430a7 Initialise FK20 multi proofs 2021-02-13 10:27:36 +00:00
Ben Edgington
9dc2611ac9 Improve docs 2021-02-12 19:49:43 +00:00
Ben Edgington
19f58f25fa Documentation and tidy up 2021-02-12 16:55:42 +00:00
Ben Edgington
7b023e10c4 The beginnings of documentation, yay 2021-02-11 11:43:08 +00:00
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