Cyclic Proofs Jul 1, 2022 http://www0.cs.ucl.ac.uk/staff/J.Brotherston/slides/PARIS_FLoC_07_18_part1.pdf cycleq cyclegg inductionless induction