Pantograph/Test/Tactic
Leni Aniva 80f9aa3269
merge: branch 'misc/version' into bug/incorrect-binder-capture
2024-12-22 08:57:13 +09:00
..
Congruence.lean fix: Tactics should produce `.syntheticOpaque` goals 2024-09-08 14:13:39 -07:00
MotivatedApply.lean merge: branch 'misc/version' into bug/incorrect-binder-capture 2024-12-22 08:57:13 +09:00
NoConfuse.lean chore: Remove all redundant filenames 2024-12-05 22:11:37 -08:00
Prograde.lean chore: Remove all redundant filenames 2024-12-05 22:11:37 -08:00