From 4598e77a9406d8040357c943a05dd1ab939932db Mon Sep 17 00:00:00 2001
From: Rutger Broekhoff
Date: Thu, 27 Jun 2024 01:56:05 +0200
Subject: Tidy up project

* Write README.md
* Add LICENSE
* Clean up some theorems and proofs
---
 flake.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index e9c35a4..25361d2 100644
--- a/flake.nix
+++ b/flake.nix
@@ -12,7 +12,6 @@
       {
         devShells.default = with pkgs; mkShell {
           buildInputs = [
-            coqPackages.coqide
             coqPackages.stdpp
             coq
           ];
-- 
cgit v1.2.3