Alternatives and similar repositories for eth-sri.github.io:

Users that are interested in eth-sri.github.io are comparing it to the libraries listed below

• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• mschlund / FPsolve
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Updated 9 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 2 years ago
• ChezJrk / verified-scheduling
  ☆35Updated 10 months ago
• blexim / synth
  Program synthesis
  ☆12Updated 8 years ago
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆13Updated 4 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated last year
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆15Updated 10 months ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 6 years ago
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• stanford-ppl / argon
  Scala staging framework
  ☆16Updated 6 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆73Updated 2 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆19Updated last year
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated last month
• statusfailed / numeric-optics-python
  ☆25Updated 2 years ago
• nicolasprevot / GpuShareSat
  Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.
  ☆32Updated 3 years ago