Antithesis translation and double-negation translation#1216

Draft

anshwad10 wants to merge 6 commits into

agda:masterfrom

anshwad10:logics

Annotations

1 error

The logs for this run have expired and are no longer available.