Cyclic Reasoning Mechanisms for Interactive Theorem Proving

  • Cohen, Liron (Recipient) & Popescu, Razvan Andrei (Recipient)

Prize

Awarded date2021
Granting OrganizationsThe Royal Society