Skip to content

Do not unfold logical connectives in norm requests#3085

Merged
mtzguido merged 6 commits intoFStarLang:masterfrom mtzguido:norm_unfold_tacNov 8, 2023

Commits

Commits on Nov 8, 2023