Skip to content

simplify gel

Kimaya Bedarkar requested to merge kbedarka/rt-proofs:gel into master
  • GEL priority policy has been renamed from GEL_priority to GEL in keeping with the current convention
  • Fixed on typo in the title
  • Simplified one proof

Merge request reports