Alternatives and similar repositories for coursework-latex

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

• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆15Updated 6 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 3 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• leanprover-community / mathzoo
  Lean mathzoo
  ☆24Updated 3 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• chanind / mathlib-changelog
  ☆10Updated this week
• oOo0oOo / leanclient
  Python client to interact with the lean4 language server.
  ☆18Updated this week
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• CharredLee / topos
  Topos theory in Lean 4
  ☆12Updated 4 months ago
• b-mehta / topos
  Topos theory in lean
  ☆61Updated 4 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• SorryDB / SorryDB
  SorryDB indexes sorries in public lean repositories
  ☆22Updated this week
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• thosgood / translations
  some maths papers in English
  ☆18Updated last week
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• jasonrute / lean_proof_recording
  Proof recording for Lean 3
  ☆27Updated 3 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆28Updated this week
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• mortarsanjaya / IMOSLLean4
  Formalization of IMO shortlist problems in Lean 4
  ☆14Updated 5 months ago
• abdoo8080 / lean-cvc5
  A Foreign Function Interface (FFI) to cvc5 solver in Lean.
  ☆17Updated 3 weeks ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 4 months ago
• zhangir-azerbayev / lean-chat-vscode
  ☆25Updated 2 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• zmwangx / Typeset-EGA-SGA
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Updated 11 years ago