Certified Reasoning with Infinity.

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin

Browse the full FM paper archive.