Clean more like I wanna clill myself
A concise guide for anyone that's met with the terrible fate of having to program in Clean (so mainly for Radboud University students).
Melle P. Starke & Crippling D. Pression
Course notes for MATH 524: Non-linear optimization
Course page: people.math.sc.edu/blanco/ma524.html
University of South Carolina
Francisco Javier Blanco-Silva
Statistics Formulae (Lind et. al. 2015)
Collection of statistics formulae taken from the perennial text book Lind, Douglas A. et. al. (2015): Statistical Techniques in Business and Economics, 16 ed. (2015).
Wolfgang W. Stoettner
HoTT Reading Notes
This is an informal set of comments on the HoTT Book.