Alternatives and similar repositories for coq-of-python

Users that are interested in coq-of-python are comparing it to the libraries listed below

• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆68Updated last month
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆69Updated 6 months ago
• symbolica-ai / gap-sys
  Rust bindings to GAP (Groups, Algorithms, Programming)
  ☆28Updated 2 years ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated 6 months ago
• leanprover / Pantograph
  (Mirror) A Machine-to-Machine Interaction System for Lean 4
  ☆32Updated this week
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆109Updated last month
• ammkrn / timelib
  A date and time library for Lean 4
  ☆12Updated 3 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆119Updated this week
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆49Updated 3 years ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆211Updated this week
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆107Updated 9 months ago
• cs-lean / cslib
  A Lean library for Computer Science
  ☆45Updated this week
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆119Updated 2 weeks ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 5 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆32Updated 7 months ago
• strata-org / Strata
  ☆39Updated this week
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated 10 months ago
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆54Updated 11 months ago
• doomslide / baby-compiler
  It's a baby compiler. (Lean btw.)
  ☆16Updated 2 months ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆121Updated 3 weeks ago
• UCSD-PL / proverbot9001
  ☆43Updated 2 weeks ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• namin / holey
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆24Updated 2 weeks ago
• janestreet / torch
  ☆126Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆36Updated 2 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 2 months ago
• reissbaker / clevergpt
  Training GPTs to solve interaction nets
  ☆17Updated 11 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆82Updated 3 weeks ago