hacl-star

Merge pull request #1019 from hacl-star/_nik_context_pruning

Makefile: rename top.lk -> .top.lk, prevents git add in Nix build from picking it up

hints

Proof wrangling

.gitignore: add top.lk