Update README.md
Browse files
README.md
CHANGED
|
@@ -20,4 +20,8 @@ Uploading such a cluster of data is likely going to take some time; So more than
|
|
| 20 |
|
| 21 |
Simply put, it's going to be easy to use, expandable, and a full structure of capability that will enable a task-by-task sequence set for full study control and testing without a complex structure. Just fire up the notebook with a task and be done with it.
|
| 22 |
|
| 23 |
-
I have updated some of the formulas visible on the
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 20 |
|
| 21 |
Simply put, it's going to be easy to use, expandable, and a full structure of capability that will enable a task-by-task sequence set for full study control and testing without a complex structure. Just fire up the notebook with a task and be done with it.
|
| 22 |
|
| 23 |
+
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.
|