Alternatives and similar repositories for relaxed-machines:

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

• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 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
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• gstew5 / games
  ☆10Updated 5 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆29Updated 4 months ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆19Updated 2 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated last week
• madvorak / read-lean
  How to read Lean
  ☆17Updated 2 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• bgavran / Agda_Category_Theory
  Formalization of category theory in Agda
  ☆15Updated 2 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆35Updated this week
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆41Updated 10 months ago
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆28Updated 2 weeks ago
• yiyunliu / mltt-consistency
  Logical relation for predicative CC omega with booleans and an intensional identity type
  ☆12Updated last month
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• LocalCharts / silviculture
  ☆16Updated 10 months ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated last year
• math-comp / Abel
  A proof of Abel-Ruffini theorem.
  ☆29Updated last month
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 5 months ago