Alternatives and similar repositories for COMP20008

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

• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆808Updated this week
• WGUNDERWOOD / tex-fmt
  An extremely fast LaTeX formatter written in Rust
  ☆717Updated 3 weeks ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆395Updated last week
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆477Updated last week
• gwern / gwern.net
  Site infrastructure for gwern.net. Custom Hakyll website with unique link archiving, popup UX, transclusions/collapses, dark+reader mode,…
  ☆791Updated this week
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆487Updated 2 months ago
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆20Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆330Updated last year
• qubrabench / qubrabench
  Quantum benchmarking framework
  ☆15Updated last year
• kcajc / math-notes-template
  A LaTeX math notes template with pre-defined tcolorboxes for theorems
  ☆27Updated 10 months ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆233Updated last month
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,503Updated this week
• leanprover / elan
  The Lean version manager
  ☆471Updated this week
• c-ding-math / functor-network
  a blog platform for mathematicians
  ☆18Updated 4 months ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆467Updated 6 months ago
• gillescastel / lecture-notes
  LaTeX code for some of my lecture notes
  ☆381Updated 3 years ago
• sleepymalc / VSCode-LaTeX-Inkscape
  ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
  ☆515Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆285Updated last month
• s15n / typst-thmbox
  Modern, Friendly, and Customizable Theorem Environments for Typst
  ☆28Updated last month
• lean-phys-community / PhysLean
  A project to digitalise results from physics into Lean.
  ☆472Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• hhu-adam / lean4monaco
  Browser support for Lean using a monaco editor.
  ☆13Updated last month
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆16Updated 6 years ago
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆470Updated this week
• mrkline / modern-latex
  A short guide to LaTeX that avoids legacy cruft.
  ☆872Updated 3 years ago
• Jollywatt / typst-fletcher
  Typst package for drawing diagrams with arrows, built on top of CeTZ.
  ☆916Updated last week
• thefundamentaltheor3m / Sphere-Packing-Lean
  A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
  ☆40Updated this week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆329Updated this week