Skip to content
GitLab
Explore
Sign in
Add lemmas for easy measure/size induction.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Add lemmas for easy measure/size induction.
Robbert Krebbers
requested to merge
robbert/lt_wf_projected
into
master
Oct 06, 2023
Overview
31
Commits
3
Pipelines
9
Changes
7
Merge request reports
Loading