Alternatives and similar repositories for fad

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

• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆23Updated last month
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆74Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆58Updated last year
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated this week
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆45Updated last month
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated 2 months ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 6 months ago
• Seasawher / mdgen
  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  ☆23Updated last week
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆111Updated this week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆77Updated 2 weeks ago
• Timeroot / ComputableReal
  computable implementation of real numbers in Lean4
  ☆38Updated 4 months ago
• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated 2 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆28Updated last year
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆101Updated last week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated 3 weeks ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆165Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆27Updated 3 years ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆23Updated last week
• mirefek / lean-tactic-programming-guide
  Beginner's guide to Tactic Programming in Lean
  ☆65Updated 3 months ago
• RemyDegenne / brownian-motion
  Construction of a Brownian Motion in Lean
  ☆27Updated this week
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆15Updated last week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆101Updated last year
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆89Updated 3 months ago
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆32Updated 8 months ago
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆112Updated last month
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆36Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆35Updated last week
• siddhartha-gadgil / MetaExamples
  Examples using MetaProgramming for writing tactics etc.
  ☆20Updated 2 months ago