Alternatives and similar repositories for act-munich

Users that are interested in act-munich are comparing it to the libraries listed below

• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• ToposInstitute / poly
  ☆118Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆119Updated 10 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 2 weeks ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆360Updated 11 months ago
• conal / Collaboration
  Play/learn/work with me
  ☆109Updated 3 months ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• formalabstracts / formalabstracts
  ☆166Updated 5 years ago
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆101Updated last month
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated last month
• UniMath / Schools
  ☆88Updated 4 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆125Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆183Updated 5 months ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆45Updated 4 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆305Updated last year
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week
• jaalonso / Lecturas_GLC
  Readings on computational logic, interactive theorem proving and functional programming.
  ☆80Updated this week
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆206Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated last week
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year