[spec] start differential equations & verifying solutions
[notes.git] / spec / sequences.md
2018-06-16 consolidate notes