The Isabelle/Naproche natural language proof assistant
scientific article; zbMATH DE number 7437104
scientific article