Skip to content

refactor: make FirstOfTactic derive Tactic (#72) #60

refactor: make FirstOfTactic derive Tactic (#72)

refactor: make FirstOfTactic derive Tactic (#72) #60