Skip to main navigation Skip to search Skip to main content

Cyclic Reasoning Mechanisms for Interactive Theorem Proving

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

    Prize

    Awarded date2021
    Granting OrganizationsThe Royal Society