Skip to content

using the general JLFP pi lemmas in edf result

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

Modifying the EDF bounded_nps file to use the general pi lemmas

Merge request reports