Are there any plans to get setoid rewriting set up to work with SProp?
Last updated: Apr 18 2024 at 02:01 UTC