Stream: Coq users

Topic: ✔ Run a tactic on all hypothesis once


view this post on Zulip Notification Bot (Aug 30 2022 at 15:30):

Thibaut Pérami has marked this topic as resolved.


Last updated: Jan 27 2023 at 01:03 UTC