Alternatives and similar repositories for cp:

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

• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆47Updated 9 months ago
• ufmg-smite / carcara
  ☆34Updated this week
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆79Updated 3 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆17Updated 3 weeks ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆55Updated 5 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 months ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆52Updated 2 years ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆231Updated this week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆23Updated 3 years ago
• pauls658 / ReluDiff-ICSE2020-Artifact
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆10Updated 2 years ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆22Updated 2 years ago
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆31Updated 3 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆139Updated last month
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆222Updated last month
• caterinaurban / Libra
  ☆23Updated 3 years ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆69Updated 4 months ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆157Updated last month
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆93Updated last week
• safednn-nasa / Prophecy
  Property Inference from Deep Neural Networks
  ☆20Updated last year
• StephanGocht / VeriPB
  Verifier for pseudo-Boolean proofs
  ☆13Updated 2 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆126Updated 2 months ago
• stlmc / stlmc
  ☆10Updated 5 months ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆70Updated last month
• JetBrains-Research / coqpilot
  VSCode extension that is designed to help automate writing of Coq proofs.
  ☆82Updated this week
• meelgroup / manthan
  Manthan for Boolean function synthesis
  ☆29Updated last year
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆57Updated this week
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆80Updated this week
• NeuralNetworkVerification / Marabou
  ☆269Updated last month
• proost-assistant / proost
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆28Updated 5 months ago