Added Sigma and Pi (FStar.SigmaPi.fst*) to ulib. #3691

Open

briangmilnes wants to merge 2 commits intoFStarLang:masterfrom briangmilnes:milnes-sigmapi

+419

Commits on Jan 20, 2025

Added Sigma and Pi (FStar.SigmaPi.fst*) to ulib. It uses the fixed range style (#x #y .. (i:interval x (y+1))) to keep the proofs simple.
briangmilnes
committed
Merge branch 'master' into milnes-sigmapi
briangmilnes
authored