Pantograph/Test/Tactic.lean

4 lines
93 B
Plaintext
Raw 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