Alternatives and similar repositories for fgv-ed

Users that are interested in fgv-ed are comparing it to the libraries listed below

• matwerner / fgv-lp
  ☆16Updated 8 months ago
• fccoelho / introcomp
  Curso de introdução à computação
  ☆41Updated last month
• felipponn / monitoria-algebra-linear
  Repositório para a monitoria do curso de Álgebra Linear 2023.2 da EMAp.
  ☆8Updated last year
• emap-20242-ed / fad
  lean code
  ☆10Updated 6 months ago
• maxbiostat / stats_modelling
  Resources for Statistical Modelling ("Modelagem Estatística").
  ☆67Updated 2 weeks ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,167Updated this week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆510Updated last week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆383Updated last week
• teorth / analysis
  A Lean companion to Analysis I
  ☆966Updated this week
• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆32Updated 2 years ago
• vEnhance / napkin
  An Infinitely Large Napkin
  ☆1,549Updated last week
• notzeb / all
  all my notes in one place
  ☆12Updated this week
• adriankarlen / textfox
  firefox theme for the tui enthusiast
  ☆1,361Updated 2 weeks ago
• google-deepmind / formal-conjectures
  A collection of formalized statements of conjectures in Lean.
  ☆549Updated this week
• leanprover / lean4
  Lean 4 programming language and theorem prover
  ☆6,012Updated this week
• maxbiostat / Statistical_Inference_BSc
  Course materials for Statistical Inference ("Inferência Estatística")
  ☆59Updated last year
• lean-dojo / LeanCopilot
  LLMs as Copilots for Theorem Proving in Lean
  ☆1,125Updated this week
• Myriad-Dreamin / tinymist
  Tinymist [ˈtaɪni mɪst] is an integrated language service for Typst [taɪpst].
  ☆1,809Updated this week
• bgavran / Category_Theory_Machine_Learning
  List of papers studying machine learning through the lens of category theory
  ☆1,404Updated 2 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆292Updated this week
• Naezr / ShyFox
  A very shy little theme that hides the entire browser interface in the window border
  ☆2,091Updated 5 months ago
• refact0r / system24
  a tui-like discord theme
  ☆1,620Updated last week
• SeniorMars / dotfiles
  My Rice Setup
  ☆1,015Updated 3 weeks ago
• dtbinh / OpenCourse
  ☆163Updated 6 years ago
• varkor / quiver
  A modern commutative diagram editor for the web.
  ☆3,278Updated last week
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆416Updated last month
• valeman / Awesome_Math_Books
  ☆2,343Updated 2 weeks ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆425Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆271Updated 7 months ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆219Updated 4 months ago