Alternatives and similar repositories for CatColab

Users that are interested in CatColab are comparing it to the libraries listed below

• DavidJaz / DynamicalSystemsBook
  ☆48Updated last year
• ToposInstitute / poly
  ☆115Updated 11 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆57Updated last week
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆25Updated 3 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆97Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆104Updated 4 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆118Updated 8 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated 3 weeks ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆29Updated last month
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆144Updated 3 weeks ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆97Updated 2 weeks ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆62Updated 11 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• nomeata / loogle
  Mathlib search tool
  ☆93Updated 2 weeks ago
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆65Updated this week
• leanprover-community / plausible
  ☆46Updated 3 weeks ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆62Updated 3 weeks ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 3 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆50Updated 8 months ago
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆56Updated 2 months ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated last month
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆71Updated 8 months ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆168Updated 4 months ago
• b-mehta / topos
  Topos theory in lean
  ☆61Updated 4 years ago
• leanprover / reference-manual
  The Lean reference manual
  ☆68Updated this week
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago