Skip to content

Add lemmas for easy measure/size induction.

Robbert Krebbers requested to merge robbert/lt_wf_projected into master

Merge request reports

Loading