1 paper · 1 filter
Lasse Blaauwbroek, Miroslav Olšák, Jason Rute +3
In proof assistants, the physical proximity between two formal mathematical concepts is a strong predictor of their mutual relevance. Furthermore, lemmas with close proximity regul…