CICM'22 system entries

DOI10.1007/978-3-031-16681-5_24OpenAlexW4296050235MaRDI QIDQ6102989

Anton Lorenzen, Boris Shminke, Peter Koepke

Publication date: 2 June 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_24

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• The Isabelle/Naproche natural language proof assistant
• Beautiful formalizations in Isabelle/Naproche
• CICM'21 systems entries
• Faster, higher, stronger: E 2.3

This page was built for publication: CICM'22 system entries