History of fstar @master git clone https://git.catseye.tc/The-Dipple/

• Remove .reuse/dep5, move all licensing info into individual files. Chris Pressey 3 months ago
• Arrange license info in repo to follow the REUSE 3.0 convention. Chris Pressey 9 months ago
• "You'll note there is no 'P' in it -- Let's keep it that way" NOT Chris Pressey 3 years ago
• Show that every natural number is either even or odd, but not both. Chris Pressey 3 years ago
• Show that, for lists, Nil is the unit for append. Chris Pressey 3 years ago
• Add a working version of the proof, using normalize_term_spec. Chris Pressey 3 years ago
• Extract OCaml from an F* development and build a binary from it. Chris Pressey 3 years ago
• Some trivial assertions on FStar.Strings. Chris Pressey 3 years ago
• An inductively-defined type, total functions, and proofs, in F*. Chris Pressey 3 years ago