From ed878fd6dfc561cb8cac58c0107ab5b0d6a57a3a Mon Sep 17 00:00:00 2001
From: Luis Guilherme Coelho <lgcoelho@disroot.org>
Date: Tue, 2 Jan 2024 18:08:01 -0300
Subject: [PATCH] manifests: Add theorem-proving

---
 manifests/theorem-proving.scm | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 manifests/theorem-proving.scm

diff --git a/manifests/theorem-proving.scm b/manifests/theorem-proving.scm
new file mode 100644
index 0000000..7d6e42a
--- /dev/null
+++ b/manifests/theorem-proving.scm
@@ -0,0 +1,9 @@
+(use-modules (guix profiles)
+             (gnu packages agda)
+             (gnu packages cedille)
+             (gnu packages coq))
+
+(packages->manifest
+  (list #|agda   |# agda agda-ial agda-stdlib agda-categories
+        #|cedille|# ;cedille <- currently broken
+        #|coq    |# coq coq-interval coq-equations coq-semantics))