Antithesis translation and double-negation translation#1216

Draft

anshwad10 wants to merge 6 commits intoagda:masterfrom

anshwad10:logics

Commits on Mar 2, 2025

Add files via upload
anshwad10
authored

Commits on May 17, 2025

Commits on May 26, 2025

Merge branch 'master' of https://github.com/anshwad10/cubical
anshwad10
committed

Commits on Jun 18, 2025

Antithesis translation and double-negation translation
anshwad10
committed