Skip to content
GitLab
Explore
Sign in
Iris
Diaframe
Repository
diaframe
theories
lib
greatest_laterable_fixpoint.v
Find file
Blame
History
Permalink
Changed AsSolveGoal to hopefully reduce TC backtracking and speed up iStepDebug.
· fe9eed71
Ike Mulder
authored
Feb 14, 2022
fe9eed71