Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Filter_preserves_prop from Token proved
Code
Review changes
Check out branch
Download
Patches
Plain diff
Natasha Klaus
requested to merge
natalie@auxiliary_lemma_filter_preserves_prop
into
master
Nov 04, 2022
Overview
14
Commits
9
Pipelines
9
Changes
2
Expand
Auxiliary lemma from Token.v (internal_errors) [filter_preserves_prop] proved
Merge request reports