Skip to content

Version 17.0.2

Choose a tag to compare

View all tags
@bakkot bakkot released this 03 Jul 20:59
· 132 commits to main since this release
v17.0.2
6f7aeab
  • prevent line wrap at end of Records and Lists in #535
  • fix "there exists"/"such that" not followed by a var name in #538
Assets 2
Loading