A cyclic theorem prover framework.
☆32Aug 21, 2025Updated 6 months ago
Alternatives and similar repositories for cyclist
Users that are interested in cyclist are comparing it to the libraries listed below
Sorting:
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 7 years ago
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- Tons of Inductive Problems: The Benchmarks☆27Jul 5, 2023Updated 2 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- Official repository of the Autosubst 2 project.☆25May 8, 2023Updated 2 years ago
- ☆23Feb 24, 2025Updated last year
- Coq code formatter☆24Jan 22, 2026Updated last month
- An annotation tool for grounding of formulae☆24May 28, 2024Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- Cyclic theorem prover for equalitional reasoning using egraphs☆27Oct 24, 2023Updated 2 years ago
- ☆12Jan 8, 2016Updated 10 years ago
- ☆13Feb 18, 2025Updated last year
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Theorem Proving in Lean 4 日本語訳☆17Jan 11, 2025Updated last year
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 4 years ago
- ☆17Feb 16, 2026Updated 2 weeks ago
- なにって...Hello World しただけだが？☆20Nov 12, 2020Updated 5 years ago
- Publish & Subscribe☆13Dec 15, 2020Updated 5 years ago
- TracerX Symbolic Virtual Machine☆32Sep 24, 2025Updated 5 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Citation in SATySFi like BibTeX☆12Oct 5, 2019Updated 6 years ago
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 5 months ago
- ☆72Sep 4, 2025Updated 6 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆155Oct 14, 2024Updated last year
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago
- P4 formalization using Ott and HOL4☆15Feb 24, 2026Updated last week
- ☆16Jul 24, 2024Updated last year
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆42Jun 25, 2025Updated 8 months ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Feb 19, 2026Updated 2 weeks ago
- An Emacs major mode for SATySFi☆18Aug 10, 2024Updated last year
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 3 years ago
- Frama-C plugins for deadlock and data race detection☆14Feb 18, 2026Updated 2 weeks ago
- A SATySFi package containing A-to-Z mathematical commands.☆16Oct 10, 2022Updated 3 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- 『自分だけのフェディバースのマイクロブログを作ろう！』のAsciiDocのソースコード☆21Dec 23, 2024Updated last year
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago