A collection of proofs of correctness for various algorithms in LaTeX
-
Updated
Dec 17, 2019 - TeX
A collection of proofs of correctness for various algorithms in LaTeX
Algorithmic Game Theory: Introduction to Mechanism Design. (German)
Here you will find some course materials for my Spring 2023 course MATH 250 (Foundations of Mathematics)
The list of theorems of set theory, some of which accompanied by proofs written by myself using LaTeX.
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.
Compiling Concurrency Correctly—Verifying Software Transactional Memory
The CLEARSY Safety Platform Programming Handbook
Basic Analysis, undergraduate real analysis textbook
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."