Skip to content

v13.0.0-alpha.7

Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 10 Nov 09:36
· 6 commits to master since this release
837fe44

Other

  • Fix alternative output formats (#1188)
  • Add missing extension fsti for F* (#1184)