External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Isabelle/Naproche Natural Language Proof Assistant

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Makarius Wenzel. The Isabelle/Naproche Natural Language Proof Assistant. In André Platzer, Geoff Sutcliffe, editors, Automated Deduction - CADE 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings. Volume 12699 of Lecture Notes in Computer Science, pages 614-624, Springer, 2021. [doi]

Authors

Adrian De Lon

This author has not been identified. Look up 'Adrian De Lon' in Google

Peter Koepke

This author has not been identified. Look up 'Peter Koepke' in Google

Anton Lorenzen

This author has not been identified. Look up 'Anton Lorenzen' in Google

Adrian Marti

This author has not been identified. Look up 'Adrian Marti' in Google

Marcel Schütz

This author has not been identified. Look up 'Marcel Schütz' in Google

Makarius Wenzel

This author has not been identified. Look up 'Makarius Wenzel' in Google
runs on