Post-submission improvements (base for post-POPL'26 work) - #3

Post-submission improvements (base for post-POPL'26 work)#3

bollu wants to merge 4 commits into

mainopencompl/evaluation-fp-lean:mainfrom

post-submission-improvementopencompl/evaluation-fp-lean:post-submission-improvementCopy head branch name to clipboard