Basic Analysis, undergraduate real analysis textbook
-
Updated
Jun 4, 2024 - TeX
Basic Analysis, undergraduate real analysis textbook
The list of theorems of set theory, some of which accompanied by proofs written by myself using LaTeX.
Compiling Concurrency Correctly—Verifying Software Transactional Memory
A collection of proofs of correctness for various algorithms in LaTeX
Algorithmic Game Theory: Introduction to Mechanism Design. (German)
The CLEARSY Safety Platform Programming Handbook
LaTeX and matlab files for this course
Repository written in LaTeX containing notes and lecture notes from the Theory and Practice of Algorithms course that I took during the Summer of 2020 at Hokkaido University.
Here you will find some course materials for my Spring 2023 course MATH 250 (Foundations of Mathematics)
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."