English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

The Isabelle Archive of Formal Proofs has grown to a significant size in thepast years. It makes up for an impressive body of research, which enables anumber of statistical approaches to various aspects in theorem proving, and hasnot yet been utilized exhaustively. However, the growing size also poses somechallenges to address: Material becomes increasingly harder to find,reusability and ease of understanding become more important. This thesisabstract summarizes my research plans on those topics and briefly touches onpreliminary results, which indicate that the node in-degree of the dependencygraph of the archive follows a scale-free distribution.

Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs