205 citations · 525 across the 28 of their papers we have counts for
1 paper · 2 filters
Jónathan Heras, Ekaterina Komendantskaya
Development of Interactive Theorem Provers has led to the creation of big libraries and varied infrastructures for formal proofs. However, despite (or perhaps due to) their sophist…