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
  ☆26Updated last month
• leanprover-community / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆93Updated this week
• bfpc / JuMP-Verao
  Curso de Verão na FGV EMAp, introdução ao uso da bibioteca JuMP para modelar e resolver problemas de otimização
  ☆15Updated 3 weeks ago
• Seasawher / mdgen
  Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
  ☆23Updated last week
• probcomp / ADEV.jl
  Experimental port of ADEV to Julia
  ☆11Updated 2 years ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆24Updated last week
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆32Updated last year
• alexkeizer / QPFTypes
  A WIP definitional (co)datatype package for Lean4
  ☆46Updated 3 months ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated 4 months ago
• alok / LeanPlot
  Interactive React-powered charting library for Lean 4 in VS Code's infoview
  ☆13Updated 3 weeks ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated 8 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆66Updated last year
• FormalSAT / trestle
  ☆23Updated 4 months ago
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆32Updated this week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆80Updated last month
• abdoo8080 / lean-cvc5
  A Foreign Function Interface (FFI) to cvc5 solver in Lean.
  ☆22Updated 2 weeks ago
• mirefek / lean-tactic-programming-guide
  Beginner's guide to Tactic Programming in Lean
  ☆65Updated 5 months ago
• davibarreira / Vizagrams.jl
  Integrating diagramming and data visualization
  ☆59Updated last month
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆28Updated 4 years ago
• siddhartha-gadgil / MetaExamples
  Examples using MetaProgramming for writing tactics etc.
  ☆20Updated 2 months ago
• leanprover-community / import-graph
  Tool to analyse the import structure of lean projects.
  ☆17Updated this week
• fccoelho / Reinforcement-Learning-course
  Advanced course on Reinforcement Learning.
  ☆47Updated 3 months ago
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆27Updated 5 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆103Updated 2 years ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆34Updated last month
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆86Updated 3 weeks ago
• BartoszPiotrowski / lean-premise-selection
  ☆22Updated 2 weeks ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆38Updated last week
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated last week
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean
  ☆14Updated 3 months ago