diff options
| author |  Rutger Broekhoff | 2024-06-27 01:56:05 +0200 |
|---|---|---|
| committer | Rutger Broekhoff | 2024-06-27 01:56:05 +0200 |
| commit | 4598e77a9406d8040357c943a05dd1ab939932db (patch) | |
| tree | e990beaa94803da3585547f22e186e8819f6a887 /flake.nix | |
| parent | 73df1945b31c0beee88cf4476df4ccd09d31403b (diff) | |
| download | mininix-formalization-4598e77a9406d8040357c943a05dd1ab939932db.tar.gz mininix-formalization-4598e77a9406d8040357c943a05dd1ab939932db.zip | |
Tidy up project
* Write README.md
* Add LICENSE
* Clean up some theorems and proofs
Diffstat (limited to 'flake.nix')
| -rw-r--r-- | flake.nix | 1 |
1 files changed, 0 insertions, 1 deletions
| @@ -12,7 +12,6 @@ | |||
| 12 | { | 12 | { |
| 13 | devShells.default = with pkgs; mkShell { | 13 | devShells.default = with pkgs; mkShell { |
| 14 | buildInputs = [ | 14 | buildInputs = [ |
| 15 | coqPackages.coqide | ||
| 16 | coqPackages.stdpp | 15 | coqPackages.stdpp |
| 17 | coq | 16 | coq |
| 18 | ]; | 17 | ]; |