Elliot Jones

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Cut Elimination

Natural Deduction

Top Venues

Publications

Elliot Jones, Diego Marmsoler
Towards Mechanised Consensus in Isabelle. FMBC@CAV (2024)