65 citations · 211 across the 36 of their papers we have counts for
1 paper · 1 filter
Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal
As the development of formal proofs is a time-consuming task, it is important to devise ways of sharing the already written proofs to prevent wasting time redoing them. One of the…