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