Alternatives and similar repositories for coursework-latex

Users that are interested in coursework-latex are comparing it to the libraries listed below

• 658060 / topos
  Topos theory in Lean 4
  ☆16Updated 8 months ago
• paolobrasolin / string-diagrams
  Create string diagrams with LaTeX!
  ☆14Updated 9 months ago
• awswan / oraclemodality
  ☆14Updated last year
• b-mehta / topos
  Topos theory in lean
  ☆64Updated 4 years ago
• Naproche-SAD / Naproche-SAD
  ☆21Updated 4 years ago
• jagd / fakebold
  A thicker variant of Latin Modern Roman
  ☆16Updated 4 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• Conair94 / ModelTheoryWiki
  Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…
  ☆16Updated 4 months ago
• CoqHott / logrel-mltt
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆10Updated 2 months ago
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆43Updated last week
• tlringer / proof-chat-fun
  playing with gpt4
  ☆14Updated 2 years ago
• FlorianAdler / inftyCats
  ☆14Updated last month
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆16Updated 6 years ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Updated 4 years ago
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆45Updated last year
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆25Updated last year
• leanprover-community / mathport
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆44Updated 10 months ago
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆27Updated 4 years ago
• anderslundstedt / pca-realizability
  Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.
  ☆13Updated 8 years ago
• uds-psl / autosubst-ocaml
  ☆16Updated 4 months ago
• Shamrock-Frost / BrouwerFixedPoint
  ☆17Updated last year
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• uemurax / synthetic-topos-theory
  ☆15Updated last year
• CMU-HoTT / serre-finiteness
  ☆17Updated 2 weeks ago
• tomdjong / thesis-template
  Template for a (PhD) thesis
  ☆10Updated 8 months ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• AndrasKovacs / polynomial-model
  A polynomial model of a Martin-Löf type theory + a bit of game semantics
  ☆32Updated 3 years ago