Alternatives and similar repositories for progblack_2223:

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

• jbachurski / ein
  Embedding Pointful Array Programming in Python
  ☆16Updated 7 months ago
• charlielidbury / ochre
  A systems theorem prover
  ☆10Updated 10 months ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆478Updated last month
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆183Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆157Updated last month
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆277Updated this week
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆260Updated 2 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆426Updated this week
• UniMath / agda-unimath
  The agda-unimath library
  ☆249Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆253Updated 3 weeks ago
• MetaRocq / metarocq
  Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
  ☆439Updated last week
• agda / agda-stdlib
  The Agda standard library
  ☆610Updated this week
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆370Updated 3 months ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆293Updated this week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆390Updated 2 weeks ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆99Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆366Updated this week
• stevenaeola / progblack_lectures
  ☆14Updated 4 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆175Updated this week
• digama0 / mm0
  Metamath Zero specification language
  ☆338Updated last week
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆355Updated this week
• Omnikar / uiua-plot
  Data plotting library for the Uiua programming language
  ☆12Updated 2 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆129Updated this week
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆150Updated this week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆390Updated 2 years ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆176Updated 3 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• flux-rs / flux
  Refinement Types for Rust
  ☆723Updated this week
• ccz181078 / Coq-BB5
  ☆210Updated 3 weeks ago