Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)

Basic Analysis, undergraduate real analysis textbook

Solutions to Understanding Analysis by Stephen Abbott (second edition)

A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

📕 Proof-Based Math Readings is a free, independent online reading group where we study the mathematics required for economics master’s and PhD programs through an intuitive approach. Active since May 2023.

This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.

An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)

TEX'ed lecture notes for MAT157Y5 - Analysis I (2021-2022).

Materials for graduate-level mathematics, including topics like set theory, real analysis, topology, linear algebra and abstract algebra.

PHP extension to compute Lambert W(x) function.

class notes for MATH 460, fall 2023

My Mathematics Journal. Almost all problems are from MSE, Textbook, & my Notebook, range from number theory, real analysis, complex analysis, set theory.

Orbit spaced repetition flashcards for Terence Tao's Analysis I

Own solutions for exercises in "Real Analysis for Graduate Students" by Richard F. Bass.

Unofficial solutions to the text, "Understanding Analysis" by Stephen Abbott. I started writing these solutions, when I was self-studying and taking a first course in real analysis.

Formularios ITAM

A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.