research
∙
02/20/2023
A modest proposal: explicit support for foundational pluralism
Whilst mathematicians assume classical reasoning principles by default t...
share
research
∙
05/06/2022
The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code)
Interactive theorem proving software is typically designed around a trus...
research
∙
05/06/2022
Private delegated computations using strong isolation
Sensitive computations are now routinely delegated to third-parties. In ...
research
∙
05/11/2018