Skip to content

ELF Generality

Meenal Gupta requested to merge RTS/prosa-internships-2023:generalityofELF into master

Proving lemmas that establish that ELF trivially generalizes to FP and GEL.

Merge request reports