Update README.md
Browse files
README.md
CHANGED
|
@@ -1,5 +1,7 @@
|
|
| 1 |
---
|
| 2 |
license: mit
|
|
|
|
|
|
|
| 3 |
---
|
| 4 |
|
| 5 |
# Update - Big dump incoming: 8/29/2025
|
|
@@ -24,4 +26,4 @@ I have updated some of the formulas visible on the lattice_vocabulary repo;
|
|
| 24 |
|
| 25 |
> https://github.com/AbstractEyes/lattice_vocabulary/blob/master/symbolic_lattice_formula_map.md
|
| 26 |
|
| 27 |
-
This should assist a bit further in the currently utilized formulas. I'll add additional formulas as they are presented in the notebooks.
|
|
|
|
| 1 |
---
|
| 2 |
license: mit
|
| 3 |
+
datasets:
|
| 4 |
+
- AbstractPhil/geometric-vocab
|
| 5 |
---
|
| 6 |
|
| 7 |
# Update - Big dump incoming: 8/29/2025
|
|
|
|
| 26 |
|
| 27 |
> https://github.com/AbstractEyes/lattice_vocabulary/blob/master/symbolic_lattice_formula_map.md
|
| 28 |
|
| 29 |
+
This should assist a bit further in the currently utilized formulas. I'll add additional formulas as they are presented in the notebooks.
|