|
.gitignore
|
c17b2fb184
Added a gitignore file
|
9 سال پیش |
|
derivatives.org
|
c91d56e3d3
Initial commit, bringing stuff over
|
10 سال پیش |
|
lisp-to-tex.org
|
11b57caa21
Added a few more rules
|
9 سال پیش |
|
manipulation.org
|
193478007f
Don't export rewrite rules, they aren't done yet
|
9 سال پیش |
|
newtons-method.org
|
c91d56e3d3
Initial commit, bringing stuff over
|
10 سال پیش |
|
rules-application.org
|
c91d56e3d3
Initial commit, bringing stuff over
|
10 سال پیش |