Tree @
master
(
Download .tar.gz
)
..
.gitignore
HelloWorld.fst
ListJazz.fst
ParityJazz.fst
StringJazz.fst
TreeJazz.fst
History of fstar
/
StringJazz.fst
@
master
git clone https://git.catseye.tc/The-Dipple/
Arrange license info in repo to follow the REUSE 3.0 convention.
Chris Pressey
7 months ago
Add a working version of the proof, using normalize_term_spec.
Chris Pressey
3 years ago
Some trivial assertions on FStar.Strings.
Chris Pressey
3 years ago