Alternatives and similar repositories for cp

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

• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last month
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆13Updated last week
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆417Updated this week
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 4 years ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 5 years ago
• bgavran / Category_Theory_Resources
  List of resources for learning Category Theory
  ☆271Updated last year
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆689Updated this week
• randriu / synthesis
  ☆23Updated last week
• nonilole / Conan
  A proof editor for first order logic
  ☆25Updated 4 years ago
• ciaranm / glasgow-constraint-solver
  A constraint programming solver with support for proof logging
  ☆17Updated this week
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆311Updated last year
• nipkow / fds_ss20
  Lecture course on verified Functional Data Structures
  ☆29Updated 5 years ago
• compsoc-edinburgh / betterinformatics
  Welcome to Better Informatics. The student run website for students in the School of Informatics.
  ☆73Updated last month
• harp-project / AML-Formalization
  ☆11Updated 2 months ago
• b-mehta / formalising-mathematics-notes
  Course notes for Formalising Mathematics 2025
  ☆78Updated 4 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆318Updated 5 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆318Updated 11 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆477Updated last week
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 3 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆346Updated 2 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆54Updated 3 years ago
• AeneasVerif / aeneas
  A verification toolchain for Rust programs
  ☆446Updated last week
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆314Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• caterinaurban / Libra
  ☆24Updated 4 years ago
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated 6 months ago
• Beneficial-AI-Foundation / dafny-autopilot
  ☆13Updated 5 months ago
• lucidBrot / algolab-tutorial
  How to use boost, CGAL, and ideas for solving the Algolab lecture exercises
  ☆19Updated last year