Classificador explicável que sugere a classe de erro de um snippet Lean para orientar a triagem.
Não executa Lean, não produz prova formal e não garante que a correção sugerida compile.
Downloads last month
-
Downloads are not tracked for this model. How to track
Collection including dougdotcon/douvras-lean-proof-repair-classifier
