From 4527250aee1d1d4655e84f0583d04410b7c53642 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 22 Jan 2024 11:51:56 +0000
Subject: Advent of proof submissions.

Completed all problems save 12, where I had to postulate two lemma.
---
 advent-of-proof.agda-lib | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 advent-of-proof.agda-lib

(limited to 'advent-of-proof.agda-lib')

diff --git a/advent-of-proof.agda-lib b/advent-of-proof.agda-lib
new file mode 100644
index 0000000..c647589
--- /dev/null
+++ b/advent-of-proof.agda-lib
@@ -0,0 +1,4 @@
+name: advent-of-proof
+depend: standard-library
+include: src
+flags: --without-K
-- 
cgit v1.2.3