Skip to content

ELF Definition

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

Definition of ELF and helper lemmas for its property proofs.

Merge request reports