exaexa / better-mff-thesisLinks
A slightly improved variant of the official thesis sample
☆31Updated 3 months ago
Alternatives and similar repositories for better-mff-thesis
Users that are interested in better-mff-thesis are comparing it to the libraries listed below
Sorting:
- Benchmarks for differentiable programming across languages and domains.☆49Updated last month
- #SharingIsCaring #CaringIsSharing☆88Updated 11 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆130Updated last year
- amateur translation project of Grothendieck's EGA.☆371Updated 2 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated 4 months ago
- A framework for applied category theory in the Julia language☆686Updated this week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 6 months ago
- The agda-unimath library☆278Updated last week
- agda-mode for neovim☆171Updated last month
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year
- A graphical editor for graph-like structures☆101Updated last year
- Play/learn/work with me☆112Updated last week
- HoTTEST Summer School materials☆318Updated 6 months ago
- ☆122Updated last year
- An interactive theorem prover for string diagrams☆123Updated last year
- Data Parallel Programming☆22Updated last year
- Lecture notes from Cambridge maths☆71Updated last year
- Accelerated machine learning with dependent types☆101Updated 4 months ago
- The collected works of F. W. Lawvere☆368Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆406Updated last week
- Scientific computing in Lean 4☆441Updated 6 months ago
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Effective Algebraic Topology in Haskell☆90Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 2 years ago
- A Lean4 Formalization of Polynomial Functors☆24Updated last month
- Neovim support for the Lean theorem prover☆444Updated this week
- Agda as a collaborative multiplayer game☆37Updated last year
- An experimental category theory library for Lean☆51Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆65Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆17Updated 3 years ago