Epfl
I was invited to give a talk on my PhD work at a EuroProofNet workshop on Proof Systems for Mathematics and Verification at EPFL. Great event, thank you very much to the organisers for hosting and the invitation!
I was invited to give a talk on my PhD work at a EuroProofNet workshop on Proof Systems for Mathematics and Verification at EPFL. Great event, thank you very much to the organisers for hosting and the invitation!