Skip to content

Release notes for F* 0.9.5

Jump to bottom Edit New page
Catalin Hritcu edited this page Feb 16, 2017 · 26 revisions
  • Much better support for reasoning by reification (Kenji et al)
  • Much prettier OCaml extracted code (Victor, #857)
Add a custom footer
Add a custom sidebar
Clone this wiki locally