Vol-3376⫷ Vol-3377 ⫸Vol-3378
urn:nbn:de:0074-3377-0


Vol-3377/om3⫷Vol-3377/dp1⫸Vol-3377/dp2

Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper)