XimeraProject / serverLinks
☆58Updated last month
Alternatives and similar repositories for server
Users that are interested in server are comparing it to the libraries listed below
Sorting:
- PreTeXt: an authoring and publishing system for scholarly documents☆297Updated last week
- Repository for the QED interactive text and possible extensions☆104Updated 7 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆299Updated 9 months ago
- "A First Course in Linear Algebra" open source textbook☆68Updated last month
- ☆118Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Riemann Hypothesis book☆75Updated 7 years ago
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆126Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- 💧 Liquid Tensor Experiment☆206Updated last year
- Coauthor supercollaboration/discussion forum☆265Updated 3 months ago
- The Principia Rewrite☆225Updated 7 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆101Updated 4 years ago
- Author tools for creating Ximera activities☆42Updated 2 weeks ago
- Source code for the nLab☆186Updated 6 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Multivariable calculus course materials☆56Updated 10 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated 7 months ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- Applied Discrete Structures using PreTeXt☆45Updated last week
- A framework for applied category theory in the Julia language☆670Updated 3 weeks ago
- L-Functions and Modular Forms Database☆275Updated this week
- Let's translate works of Grothendieck☆27Updated 6 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆70Updated 3 years ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago