Skip to content

Simplify: fold comparisons between integers - #755

Open
mtzguido wants to merge 2 commits into
FStarLang:masterfrom
mtzguido:fold-int-comparisons
Open

Simplify: fold comparisons between integers#755
mtzguido wants to merge 2 commits into
FStarLang:masterfrom
mtzguido:fold-int-comparisons

Simplify: fold comparisons between integers

a6083bb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view