summaryrefslogtreecommitdiff
path: root/flake.nix (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Add a commentSon Ho1-1/+1
2023-06-04Use dune 3.7 and update the flake.lockSon Ho1-1/+4
2023-06-04Start adding Lean to the Nix flakeSon Ho1-3/+25
2023-06-04Make a minor modification to flake.nixSon Ho1-3/+3
2023-02-03Make modifications to the MakefilesSon Ho1-1/+9
2023-02-03Update the nix flakesSon Ho1-1/+19
2022-11-16Add a nix derivation for the Coq proofsSon Ho1-4/+13
2022-11-16Add the aeneas-verify-fstar derivationSon Ho1-11/+21
2022-11-11Update the nix flakeSon Ho1-1/+1
2022-11-11Add a `bin` folderSon Ho1-1/+9
2022-11-11Make the Nix build workSon Ho1-1/+28
2022-11-11nixPaul-Nicolas Madelaine1-0/+46