Alternatives and similar repositories for cyclone-online-editor

Users that are interested in cyclone-online-editor are comparing it to the libraries listed below

• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 6 months ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆100Updated 4 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆68Updated this week
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆22Updated 5 months ago
• microsoft / verus-proof-synthesis
  ☆64Updated this week
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆54Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆144Updated 9 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 4 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆30Updated 4 months ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆25Updated 4 years ago
• logsem / iris-tutorial
  ☆67Updated 4 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆282Updated 3 months ago
• secure-foundations / human-eval-verus
  ☆24Updated 3 months ago
• isabelle-prover / cookbook
  A collection of useful tips/tricks/hints for Isabelle users.
  ☆16Updated last year
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆55Updated 6 months ago
• sosy-lab / sv-witnesses
  An Exchange Format for Verification Witnesses (MOVED, please follow the link)
  ☆18Updated 3 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆187Updated 4 years ago
• awslabs / typecart
  ☆22Updated last year
• hipsleek / hipsleek
  ☆12Updated 10 months ago
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆44Updated last month
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆111Updated last month
• leanprover-community / lean4-metaprogramming-book
  ☆269Updated 10 months ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆535Updated 7 months ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated 5 months ago
• strata-org / Strata
  ☆120Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆71Updated 5 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…
  ☆152Updated last year
• agurfinkel / spacer-on-jupyter
  ☆20Updated 2 years ago
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆76Updated 3 months ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆398Updated last year