Adrian De Lon: Natural theorem proving with Naproche-ZF External Video-URL https://youtu.be/hLrB9fHa1iM Preview-Image