manifests: Add theorem-proving

2024-01-02 18:08:01 -03:00 · 2024-01-02 18:08:01 -03:00 · ed878fd6df
parent 625034fb2e
commit ed878fd6df
1 changed files with 9 additions and 0 deletions
--- a/manifests/theorem-proving.scm
+++ 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))