Pantograph/Test/Tactic.lean

5 lines
121 B
Plaintext
Raw Permalink Normal View History

2024-05-20 11:51:35 -07:00
import Test.Tactic.Congruence
2024-04-20 13:09:41 -07:00
import Test.Tactic.MotivatedApply
2024-05-05 13:24:29 -07:00
import Test.Tactic.NoConfuse
2024-06-25 08:03:08 -07:00
import Test.Tactic.Prograde