From 668db095c8993efd314dc2fd4fdbfae618e445a6 Mon Sep 17 00:00:00 2001
From: nicolas tabareau <nicolas.tabareau@gmail.com>
Date: Thu, 4 Apr 2019 18:11:56 +0200
Subject: [PATCH] Initial commit

---
 .gitignore | 30 ++++++++++++++++++++++++++++++
 README.md  |  2 ++
 2 files changed, 32 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 README.md

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..f25a61d
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,30 @@
+.*.aux
+*.a
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+*.cmxs
+*.glob
+*.ml.d
+*.ml4.d
+*.mli.d
+*.mllib.d
+*.mlpack.d
+*.native
+*.o
+*.v.d
+*.vio
+*.vo
+.coq-native/
+.csdp.cache
+.lia.cache
+.nia.cache
+.nlia.cache
+.nra.cache
+csdp.cache
+lia.cache
+nia.cache
+nlia.cache
+nra.cache
diff --git a/README.md b/README.md
new file mode 100644
index 0000000..8071165
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# cubical_forcing
+forcing on the cube category to realize univalence