Alternatives and similar repositories for progblack_2223

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

• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆210Updated this week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆393Updated this week
• ccz181078 / Coq-BB5
  ☆328Updated 5 months ago
• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆17Updated 11 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆117Updated last week
• UniMath / agda-unimath
  The agda-unimath library
  ☆263Updated this week
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆365Updated last week
• modmark-org / modmark
  A modular markup language
  ☆27Updated 2 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆665Updated last week
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆731Updated 3 weeks ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆326Updated this week
• agda / cubical
  An experimental library for Cubical Agda
  ☆500Updated 2 weeks ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆463Updated this week
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆447Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆311Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 3 months ago
• LyricLy / minefair
  A fair and infinite implementation of Minesweeper.
  ☆13Updated last week
• leanprover-community / NNG4
  Natural Number Game
  ☆208Updated this week
• digama0 / mm0
  Metamath Zero specification language
  ☆351Updated 3 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• uiua-lang / uiua
  A stack-based array programming language
  ☆1,890Updated this week
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆154Updated this week
• creusot-rs / creusot
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,323Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆281Updated last week
• mlochbaum / BQN
  An APL-like programming language
  ☆995Updated last week
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated 11 months ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆349Updated last week
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated last week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆90Updated last month