Skip to content

Remove ulevel nat axiom#4152

Open
nikswamy wants to merge 9 commits intofstar2from
fstar2_remove_ulevel_nat_axiom
Open

Remove ulevel nat axiom#4152
nikswamy wants to merge 9 commits intofstar2from
fstar2_remove_ulevel_nat_axiom

Commits

Commits on Mar 31, 2026

Commits on Apr 1, 2026