It was great to be invited to visit the Mathematikon @uniheidelberg.bsky.social earlier this week to talk about formal maths in Isabelle and my past PhD work as part of their research seminar series on formal mathematics! #postdoclife #IsabelleHOL #FormalMaths
0
0
1
0