Formalization quality in Isabelle

DOI10.1007/978-3-031-42753-4_10OpenAlexW4386297798MaRDI QIDQ6118825

Fabian Huch, Yiannos Stathopoulos

Publication date: 28 February 2024

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-42753-4_10

zbMATH Keywords

static analysismachine learningIsabelledeep learningchange frequencycode smellformalization qualitylinter

Mathematics Subject Classification ID

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

Cites Work

• Formal entity graphs as complex networks: assessing centrality metrics of the archive of formal proofs

This page was built for publication: Formalization quality in Isabelle