jonlin1000

Undergrad. UMD Mathematics 2022.

Pinned Repositories

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

jonlin1000's Repositories

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