Alternatives and similar repositories for compositionality-latex-template

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

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated 6 months ago
• appliedcategorytheory / TikZWD
  A TikZ library of wiring diagrams
  ☆22Updated 6 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated last year
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆25Updated 4 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆42Updated this week
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆45Updated this week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆44Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆21Updated this week
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆78Updated this week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated last week
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• djvelleman / HTPILeanPackage
  ☆30Updated last week
• TunnelTechnologies / dmrg-exact
  ☆15Updated 6 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 7 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆58Updated 7 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year