Alternatives and similar repositories for rigorous:

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

• koehlma / momba
  A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.
  ☆18Updated 5 months ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆61Updated 6 months ago
• caterinaurban / Lyra
  ☆30Updated 5 months ago
• caterinaurban / Typpete
  ☆35Updated 5 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆67Updated this week
• serge-sans-paille / beniget
  Extract semantic information about static Python code
  ☆70Updated last month
• opencompl / egg-tactic-code
  ☆14Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated 2 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• arminbiere / gimsatul
  ☆34Updated 6 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• mvitousek / reticulated
  Types for Python
  ☆86Updated 6 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• StarExec / StarExec
  StarExec is a cross community logic solving service
  ☆17Updated 6 months ago
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆12Updated 2 months ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆13Updated 9 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆53Updated last month
• Mbodin / CoqR
  A Coq formalisation of the R programming language
  ☆10Updated 2 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆10Updated this week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆69Updated 9 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆24Updated last year
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆75Updated this week
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆16Updated 2 years ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆142Updated this week