π with Leftovers: A Mechanisation in Agda.

Uma Zalakain, Ornela Dardha

Browse the full FORTE paper archive.