Spaces:

delta-lab-ai
/

lean-refactor-arena

Running

File size: 82 Bytes

0115dcf

import Test.Tactic.Assign
import Test.Tactic.Fragment
import Test.Tactic.Prograde