Alternatives and similar repositories for act-munich

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

• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• ToposInstitute / poly
  ☆122Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆169Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 3 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 4 months ago
• UniMath / Schools
  ☆93Updated 7 months ago
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆109Updated 4 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆68Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆112Updated last week
• formalabstracts / formalabstracts
  ☆165Updated 6 years ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆14Updated 2 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆168Updated 6 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 7 months ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆368Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 5 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆310Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 4 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆193Updated 8 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆118Updated this week
• affeldt-aist / infotheo
  A Rocq formalization of information theory and linear error-correcting codes
  ☆72Updated last week