3 ms·Baldur: Whole-Proof Generation and Repair with Large Language Models4 points by gfortaine 4y ago