4 citations · 4 across the 1 of their papers we have counts for
1 paper
Yecine Megdiche, Fabian Huch, Lukas Stevens
In interactive theorem proving, formalization quality is a key factor for maintainability and re-usability of developments and can also impact proof-checking performance. Commonly,…