Alternatives and similar repositories for relaxed-machines

Users that are interested in relaxed-machines are comparing it to the libraries listed below

• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆17Updated last week
• gstew5 / games
  ☆10Updated 5 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• Deducteam / zenon_modulo
  First-order automated theorem prover based on the tableau method
  ☆15Updated 6 months ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• maxsnew / grammars-and-semantic-actions
  Intrinsic Verification of Formal Grammar Theory
  ☆26Updated this week
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆20Updated 2 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• rwbarton / lean-homotopy-theory
  A development of homotopy theory in the Lean formal theorem prover.
  ☆15Updated 4 years ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆17Updated 2 weeks ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 11 months ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated last week
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated 2 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆16Updated 2 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 2 weeks ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 6 years ago