4 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
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,…