jonlin1000's repositories
discr_math
A book on discrete math. Loosely based on the content covered in UMD's CMSC250.
linear-algebra
jonlin1000's notes on Linear Algebra
coq_practice
Just a repository to keep all my coq files.
Language:Coq000
Language:JavaScriptMIT000
Language:PythonNOASSERTION000
jonlin1000.github.io
CMSC320 Final Project
m_riemannsums
A model that visualizes Riemann Sums
math416fa19
notes for MATH416 and hopefully implementations of concepts in class.
Language:TeX000
spivak-notes
jonlin1000
Language:TeX000