26 citations · 70 across the 17 of their papers we have counts for
1 paper · 1 filter
Jason Gross, Théo Zimmermann, Rajashree Agrawal +1
As the adoption of proof assistants increases, there is a need for efficiency in identifying, documenting, and fixing compatibility issues that arise from proof assistant evolution…