This repository has been archived by the owner on Jun 17, 2024. It is now read-only.

Finish proof of rewriter #40

Open

bollu opened this issue Sep 20, 2022 · 0 comments

Assignees

Contributor

bollu commented Sep 20, 2022

No description provided.

bollu assigned math-fehr

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.