Skip to content
GitLab
Explore
Sign in
Sergey Bozhko
rt-proofs
Repository
rt-proofs
restructuring
analysis
transform
prefix.v
Find file
Blame
History
Permalink
add prefix_map transformation and two supporting lemmas
· f1879960
Björn Brandenburg
authored
Jul 18, 2019
f1879960