Felix Bradley

Search results

• Finished

  Subtype Universes

  Bradley, F. (PI)

  19/04/22 → 10/12/22

  Project: Research

• Verification of Integers and Sorting Algorithms in Coq

  Bradley, F. (PI)

  9/11/21 → 18/01/22

  Project: Research