Alternatives and similar repositories for cyclone-online-editor

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

• arminbiere / cadical
  CaDiCaL SAT Solver
  ☆476Updated this week
• secure-foundations / human-eval-verus
  ☆20Updated 3 weeks ago
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆25Updated 4 years ago
• cmu-l3 / alphaverus
  AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement
  ☆18Updated 3 months ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆30Updated 2 weeks ago
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated 2 years ago
• leanprover-community / lean-auto
  Experiments on automation for Lean
  ☆132Updated 2 weeks ago
• sr-lab / coqpyt
  Python client for coq-lsp
  ☆39Updated last month
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆90Updated last month
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆69Updated 2 weeks ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆20Updated 3 months ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆326Updated this week
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆18Updated last month
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆268Updated last week
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆294Updated last week
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆48Updated last year
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆406Updated 3 weeks ago
• cvc5 / cvc5
  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
  ☆1,175Updated last week
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated last month
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆526Updated 3 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆191Updated this week
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆152Updated 2 weeks ago
• strata-org / Strata
  ☆77Updated this week
• vellvm / vellvm
  The Vellvm (Verified LLVM) coq development.
  ☆442Updated last week
• meelgroup / approxmc
  Approximate Model Counter
  ☆78Updated this week
• secure-foundations / mariposa
  ☆13Updated 3 weeks ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆413Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 9 months ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆62Updated last month
• leanprover-community / lean4-metaprogramming-book
  ☆258Updated 6 months ago