seckindemirbas / PLP
This is the repository for PLP, An introduction to mathematical proof, book
☆12Updated 7 months ago
Alternatives and similar repositories for PLP:
Users that are interested in PLP are comparing it to the libraries listed below
- Basic Analysis, undergraduate real analysis textbook☆66Updated 3 weeks ago
- LaTeX graphics with TikZ, by Packt Publishing☆143Updated 7 months ago
- Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.☆28Updated 9 months ago
- Notes on Diffy Qs, a textbook for differential equations☆62Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆225Updated last month
- Source repository for QuantEcon Datascience☆26Updated 2 months ago
- Lecture notes for the "Randomised and Advanced algorithms" class developed for the University of Sydney.☆12Updated 2 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆274Updated last week
- Errata for Algorithms for Optimization book☆68Updated 2 months ago
- Stanford's CS229 Machine Learning lecture notes compiled into a Tufte-style textbook☆52Updated 3 years ago
- A collection of Typst math commands/shortcuts defined for the purpose of having the same/similar names as LaTeX math expressions.☆19Updated last year
- A lecture notes template in Typst.☆43Updated 3 weeks ago
- Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis☆10Updated last week
- Run python code in typst☆32Updated 9 months ago
- Source code for some notes for the mathematical tripos.☆21Updated 6 years ago
- "Intro to Stochastic Processes"☆1Updated 8 months ago
- ☆15Updated last month
- Source code to my videos.☆73Updated 9 months ago
- SimpleCV is a simple and elegant CV template written in Typst.☆53Updated last year
- An Undergraduate Lecture Series for the Foundations of Computational Economics☆44Updated this week
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆71Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆87Updated 2 months ago
- Templates that are directly maintained by the Typst team.☆283Updated 2 months ago
- A Typst port of undergradmath☆113Updated 8 months ago
- A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)☆24Updated 3 years ago
- This is a lecture notes theme which i have created for typing up all the class notes I have taken in my courses. So i am sharing my theme…☆44Updated 4 months ago
- An academic poster template for Typst☆130Updated last year
- Notes for using Julia while learning calculus☆157Updated this week
- P.D. Magnus' forallx logic textbook☆64Updated last year
- My master thesis for the MSc. in Photonics engineering at Ghent University☆49Updated 2 months ago