Alternatives and similar repositories for coursework-latex

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

• jagd / fakebold
  A thicker variant of Latin Modern Roman
  ☆16Updated 2 months ago
• Naproche-SAD / Naproche-SAD
  ☆21Updated 4 years ago
• paolobrasolin / string-diagrams
  Create string diagrams with LaTeX!
  ☆14Updated 7 months ago
• tomdjong / MGS-categorical-realizability
  Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…
  ☆21Updated 3 weeks ago
• b-mehta / topos
  Topos theory in lean
  ☆63Updated 4 years ago
• jopetty / lecture-notes
  A compilation of lecture notes
  ☆16Updated 6 years ago
• AndrasKovacs / polynomial-model
  A polynomial model of a Martin-Löf type theory + a bit of game semantics
  ☆32Updated 3 years ago
• uds-psl / autosubst-ocaml
  ☆16Updated 2 months ago
• FlorianAdler / inftyCats
  ☆14Updated last year
• CharredLee / topos
  Topos theory in Lean 4
  ☆15Updated 6 months ago
• tomdjong / domain-theory-in-uf
  ☆11Updated 5 years ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆19Updated 4 years ago
• LocalCharts / silviculture
  ☆16Updated last year
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆39Updated 2 months ago
• konn / sdg-agda
  Synthetic Differential Geometry in Agda
  ☆12Updated 10 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• UlfNorell / quasi-quote
  Quasi-quoting library for agda
  ☆18Updated 9 months ago
• zmwangx / Typeset-EGA-SGA
  Typeset version of EGA and SGA by Grothendieck.
  ☆12Updated 11 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last month
• jonsterling / sml-logical-framework
  Jason Reed's Tiny LF, and some experiments in higher-order proof refinement logics using Jon Sterling Thought
  ☆14Updated 8 years ago
• maxsnew / synthetic-domain-theory
  Experiment with synthetic domain theory in cubical agda
  ☆14Updated 2 years ago
• awswan / oraclemodality
  ☆14Updated last year
• 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 2 months ago
• jespercockx / popl19-tutorial
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Updated 6 years ago
• limemloh / cubical-congruence
  Congruence Closure Procedure in Cubical Agda
  ☆17Updated 5 years ago
• IanOrton / cubical-topos-experiments
  Agda code for experimenting with internal models of cubical type theory
  ☆15Updated 7 years ago
• kbuzzard / lean-stacks-project
  Formal verification of parts of the Stacks Project in Lean
  ☆22Updated 3 years ago
• dspivak / dependent-types
  ☆12Updated 5 months ago
• uemurax / synthetic-topos-theory
  ☆15Updated last year