commit f479d1c228ebabe2ffb0a8a3a454f0975d0b6495
parent ac23319ad43c3fc9ba4faca00e030df81e5c7d2c
Author: Robert Russell <robert@rr3.xyz>
Date: Mon, 26 Aug 2024 21:22:03 -0700
Add README and LICENSE
Diffstat:
2 files changed, 22 insertions(+), 0 deletions(-)
diff --git a/LICENSE b/LICENSE
@@ -0,0 +1,15 @@
+ISC License
+
+Copyright (c) 2024, Robert Russell
+
+Permission to use, copy, modify, and/or distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+\ No newline at end of file
diff --git a/README b/README
@@ -0,0 +1,6 @@
+Symbolic geometric algebra calculations in Lean
+
+This is a work in progress. The original goal was merely to do symbolic
+calculations to hard-code geometric algebra formulae in a work-in-progress
+computer graphics library, but I got carried away and started having fun in
+Lean.
