Stream: Coq users

Topic: ✔ show type of expression under context


view this post on Zulip Notification Bot (Jun 28 2023 at 13:50):

yiyuan-cao has marked this topic as resolved.


Last updated: Jun 23 2024 at 05:02 UTC