Pinned Repositories
coq_practice
Just a repository to keep all my coq files.
ddg-exercises-js
discr_math
A book on discrete math. Loosely based on the content covered in UMD's CMSC250.
eczoo_data
geometry
all about differential geometry
jonlin1000.github.io
CMSC320 Final Project
linear-algebra
jonlin1000's notes on Linear Algebra
m_riemannsums
A model that visualizes Riemann Sums
math416fa19
notes for MATH416 and hopefully implementations of concepts in class.
spivak-notes
jonlin1000
jonlin1000's Repositories
jonlin1000/discr_math
A book on discrete math. Loosely based on the content covered in UMD's CMSC250.
jonlin1000/geometry
all about differential geometry
jonlin1000/linear-algebra
jonlin1000's notes on Linear Algebra
jonlin1000/coq_practice
Just a repository to keep all my coq files.
jonlin1000/ddg-exercises-js
jonlin1000/eczoo_data
jonlin1000/jonlin1000.github.io
CMSC320 Final Project
jonlin1000/m_riemannsums
A model that visualizes Riemann Sums
jonlin1000/math416fa19
notes for MATH416 and hopefully implementations of concepts in class.
jonlin1000/spivak-notes
jonlin1000