Skip to content
Back to pull request #3691

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

Sign in to view logs

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

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

tests  /  binary-smoke (fstar.tar.gz, ubuntu-24.04)

tests / binary-smoke (fstar.tar.gz, ubuntu-24.04)
succeeded Jan 20, 2025 in 9s