coq-quantum / CoqQ

Related projects ⓘ

Alternatives and complementary repositories for CoqQ

• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆92Updated 11 months ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆79Updated 3 months ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆14Updated 3 weeks ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆32Updated 2 weeks ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆21Updated 3 years ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆17Updated 2 weeks ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆22Updated 4 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆41Updated last week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆154Updated 5 years ago
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆65Updated this week
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆58Updated last year
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆74Updated 2 years ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆58Updated this week
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆103Updated 3 years ago
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆22Updated last year
• math-comp / tutorial_material
  proof script associated to tutorial material
  ☆17Updated last year
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆38Updated 2 years ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 6 months ago
• reaslab / jixia
  A static analysis tool for Lean 4.
  ☆50Updated this week
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆47Updated last year
• danelahman / lograc-2022
  Git repository for the course Logika v računalništvu
  ☆11Updated 2 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆108Updated 3 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆91Updated last week
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆65Updated 3 months ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• leanprover-community / lean-auto
  Experiments in automation for Lean
  ☆73Updated 2 weeks ago
• coq / stdlib2
  ☆39Updated 10 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated last month