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.

Beautiful Formalizations in Isabelle/Naproche

Adrian De Lon, Peter Koepke, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker. Beautiful Formalizations in Isabelle/Naproche. In Fairouz Kamareddine, Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics - 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings. Volume 12833 of Lecture Notes in Computer Science, pages 19-31, 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

Erik Sturzenhecker

This author has not been identified. Look up 'Erik Sturzenhecker' in Google
runs on