Alternatives and similar repositories for 1802

Users that are interested in 1802 are comparing it to the libraries listed below

• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆319Updated last year
• jneug / typst-finite
  Typst-setting finite automata with CeTZ.
  ☆130Updated 6 months ago
• sahasatvik / typst-theorems
  An implementation of numbered theorem environments in typst
  ☆265Updated 5 months ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆117Updated this week
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆84Updated last week
• ryuryu-ymj / mannot
  A package for marking and annotating in math blocks in Typst.
  ☆62Updated 3 weeks ago
• typst-community / typst-algorithmic
  Algorithm pseudocode typesetting library for Typst
  ☆48Updated 2 weeks ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆223Updated 2 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆175Updated 3 months ago
• platformer / typst-algorithms
  ☆175Updated 9 months ago
• andreasKroepelin / lovelace
  A Typst package for typesetting pseudocode
  ☆85Updated last month
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆306Updated this week
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆175Updated 4 months ago
• kokic / kodama
  A Typst-friendly static Zettelkästen site generator.
  ☆150Updated this week
• vEnhance / evans-phd-notebook
  Virtual notebook that Evan uses for his PhD thesis.
  ☆11Updated 3 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• Dherse / masterproef
  My master thesis for the MSc. in Photonics engineering at Ghent University
  ☆52Updated 7 months ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆76Updated 2 weeks ago
• pncnmnp / typst-poster
  An academic poster template for Typst
  ☆150Updated 2 years ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆76Updated last week
• Robotechnic / diagraph
  A typst wasm plugin to use graphviz directly inside documents
  ☆135Updated 2 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  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
• OrangeX4 / typst-pinit
  Relative positioning by pins, especially useful for making slides in typst.
  ☆284Updated 6 months ago
• johanvx / typst-undergradmath
  A Typst port of undergradmath
  ☆139Updated 3 weeks ago
• lftcm2023 / lftcm2023
  ☆30Updated 2 years ago
• Marmare314 / lemmify
  A library for typesetting mathematical theorems in typst.
  ☆18Updated 9 months ago
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 2 weeks ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated last week
• QuarticCat / detypify
  Typst symbol classifier
  ☆213Updated 3 months ago