Skip to content

Some progress on ir-translator proofs

Evan Marzion requested to merge verify-ir-translator-backward into master

Completion of some previously Admitted lemmas.

Edited by Evan Marzion

Merge request reports