Stream: Coq users

Topic: SProp Setoid Rewriting

Patrick Nicodemus (Dec 11 2022 at 23:16):

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

Last updated: Apr 18 2024 at 02:01 UTC