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: Oct 04 2023 at 20:01 UTC