1 citations · 1 across the 1 of their papers we have counts for
1 paper
Ali Ghanbari
Proof engineering in Rocq is a labor-intensive process, and as proof developments grow in size, redundancy and maintainability become challenges. One such redundancy is goal clonin…