Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Figure -> Fig. | Yann Herklotz | 2021-09-09 | 1 | -3/+3 |
* | Add caption above the table | Yann Herklotz | 2021-09-09 | 1 | -4/+3 |
* | Fix capitalisation of titles | Yann Herklotz | 2021-09-09 | 1 | -7/+7 |
* | Move textit to mathit | Yann Herklotz | 2021-09-09 | 1 | -16/+16 |
* | Update on Overleaf. | John Wickerson | 2021-08-11 | 1 | -6/+5 |
* | Fix some more comments | Yann Herklotz | 2021-08-08 | 1 | -3/+9 |
* | Address most notes | Yann Herklotz | 2021-08-05 | 1 | -5/+7 |
* | Update on Overleaf. | John Wickerson | 2021-08-05 | 1 | -12/+15 |
* | Update on Overleaf. | John Wickerson | 2021-08-03 | 1 | -7/+8 |
* | Add more descriptions of challenges in proofs | Yann Herklotz | 2021-07-27 | 1 | -1/+11 |
* | Add some small fixes to the paper | Yann Herklotz | 2021-07-21 | 1 | -3/+3 |
* | Update on Overleaf. | Yann Herklotz | 2021-04-17 | 1 | -2/+1 |
* | Fix more | Yann Herklotz | 2021-04-16 | 1 | -2/+7 |
* | Add | Yann Herklotz | 2021-04-16 | 1 | -1/+1 |
* | Fix | Yann Herklotz | 2021-04-16 | 1 | -4/+0 |
* | AddFix more things | Yann Herklotz | 2021-04-16 | 1 | -1/+5 |
* | Update on Overleaf. | John Wickerson | 2021-04-16 | 1 | -1/+0 |
* | Add changes | Yann Herklotz | 2021-04-16 | 1 | -1/+1 |
* | Fix more comments | Yann Herklotz | 2021-04-16 | 1 | -2/+2 |
* | Add some fixes | Yann Herklotz | 2021-04-16 | 1 | -1/+1 |
* | Add proof | Yann Herklotz | 2021-04-16 | 1 | -3/+23 |
* | Update on Overleaf. | John Wickerson | 2021-04-16 | 1 | -2/+2 |
* | Add proof | Yann Herklotz | 2021-04-16 | 1 | -1/+1 |
* | Add more | Yann Herklotz | 2021-04-15 | 1 | -5/+29 |
* | Fix spelling | Yann Herklotz | 2021-04-15 | 1 | -1/+1 |
* | Update the table | Yann Herklotz | 2021-04-15 | 1 | -8/+9 |
* | Update on Overleaf. | John Wickerson | 2021-04-14 | 1 | -1/+1 |
* | Update on Overleaf. | John Wickerson | 2021-04-14 | 1 | -1/+1 |
* | Add new results | Yann Herklotz | 2021-04-11 | 1 | -1/+1 |
* | Fix some formatting | Yann Herklotz | 2021-04-07 | 1 | -2/+2 |
* | Update on Overleaf. | Yann Herklotz | 2020-11-23 | 1 | -1/+1 |
* | data path -> data-path | Yann Herklotz | 2020-11-21 | 1 | -1/+1 |
* | Update on Overleaf. | Yann Herklotz | 2020-11-21 | 1 | -3/+4 |
* | Update on Overleaf. | John Wickerson | 2020-11-20 | 1 | -62/+62 |
* | Update on Overleaf. | Yann Herklotz | 2020-11-19 | 1 | -0/+4 |
* | Correct names in Proof section | Yann Herklotz | 2020-11-19 | 1 | -2/+2 |
* | Add algorithm | Yann Herklotz | 2020-11-19 | 1 | -3/+7 |
* | Remove proof | Yann Herklotz | 2020-11-19 | 1 | -6/+4 |
* | Update on Overleaf. | John Wickerson | 2020-11-19 | 1 | -1/+1 |
* | Finalise proof section | Yann Herklotz | 2020-11-19 | 1 | -37/+32 |
* | Update on Overleaf. | John Wickerson | 2020-11-19 | 1 | -1/+1 |
* | More proof changes | Yann Herklotz | 2020-11-19 | 1 | -1/+13 |
* | Modify proof section | Yann Herklotz | 2020-11-19 | 1 | -19/+25 |
* | Add theorems | Yann Herklotz | 2020-11-18 | 1 | -18/+33 |
* | Add theorem | Yann Herklotz | 2020-11-18 | 1 | -8/+12 |
* | More proof changes | Yann Herklotz | 2020-11-18 | 1 | -11/+19 |
* | Add proof | Yann Herklotz | 2020-11-18 | 1 | -4/+3 |
* | Add better dashes | Yann Herklotz | 2020-11-18 | 1 | -7/+7 |
* | Add notes | Yann Herklotz | 2020-11-18 | 1 | -4/+3 |
* | Update on Overleaf. | n.ramanathan14 | 2020-11-18 | 1 | -1/+1 |