Cyclic Reasoning Mechanisms for Interactive Theorem Proving

Prize

Granting OrganizationsThe Royal Society