Skip to content
GitLab
Explore
Sign in
Iris
Fairis
Repository
fairis
channel
heap_lang.v
Find file
Blame
History
Permalink
optimize the step_by_value proof: Determine which case we are in, and call the appropriate tactic
· dcd28632
Ralf Jung
authored
Jan 09, 2016
dcd28632