32 citations · 36 across the 3 of their papers we have counts for
1 paper · 1 filter
Fabian Huch, Alexander Krauss
The Isabelle Archive of Formal Proofs (AFP) has grown to over 500 articles in late 2019. Meanwhile, finding formalizations in it has not exactly become easier. At the time of writi…