Stream: Coq users

Topic: SProp Setoid Rewriting


view this post on Zulip Patrick Nicodemus (Dec 11 2022 at 23:16):

Are there any plans to get setoid rewriting set up to work with SProp?


Last updated: Jun 18 2024 at 09:02 UTC