Alternatives and similar repositories for coursework-latex:

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

• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 5 years ago
• jbrkr / Category_Theory_Natural_Language_Processing_NLP
  List of papers and other resources at the intersection of Category Theory and NLP.
  ☆52Updated 2 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆43Updated 2 years ago
• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆44Updated 7 months ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• paolobrasolin / string-diagrams
  Create string diagrams with LaTeX!
  ☆13Updated 2 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆42Updated 3 years ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 10 months ago
• FlorianAdler / inftyCats
  ☆13Updated 7 months ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆108Updated 9 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆39Updated 3 weeks ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆10Updated last year
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆26Updated 2 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆77Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆77Updated this week
• Naproche-SAD / Naproche-SAD
  ☆20Updated 4 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated last month
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆26Updated 3 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 11 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• wellecks / ntptutorial
  Tutorial on neural theorem proving
  ☆167Updated last year
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆25Updated 2 weeks ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last week
• thosgood / fga
  An English translation of Grothendieck's Fondements de la Géometrie Algébrique
  ☆17Updated 3 months ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆55Updated last week