Shashank Pathak: GFLean: Autoformalisation for Lean via GF External Video-URL https://youtu.be/tc0WgOIYT9s Preview-Image