Alternatives and similar repositories for IUGen2

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

• dominhduy09 / university-documents
  University documents that I have collected from HCM-IU VNU
  ☆21Updated 8 months ago
• hanngoc1406 / naive-locket
  ☆16Updated last year
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆28Updated last month
• Julian / lftim
  Mathematical learnings with Lean, for those of us who wish we knew more of both!
  ☆10Updated 3 years ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 3 weeks ago
• justiny7 / competitive-programming
  Source code for all my competitive programming activities
  ☆13Updated 8 months ago
• chanind / mathlib-changelog
  ☆10Updated this week
• lean-dojo / LeanMillenniumPrizeProblems
  Formalization of the Millennium Problems in Lean4.
  ☆20Updated 5 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• TP-O / goer
  Support to register for courses on the Edusoft website.
  ☆11Updated last year
• frodakcin / orz-bot
  orz
  ☆15Updated 2 years ago
• dinhanhx / gir
  Rust programming, in Vietnamese.
  ☆41Updated 2 years ago
• arthurpaulino / LeanMySQL
  A MySQL API for Lean 4
  ☆17Updated 3 years ago
• adomani / MA4N1_Theorem_proving_with_Lean
  MA4N1 Theorem Proving with Lean
  ☆13Updated 10 months ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆102Updated this week
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆56Updated 2 weeks ago
• missing-semester-vn / missing-semester-vn.github.io
  The Missing Semester of Your CS Education 📚 - Bản Tiếng Việt
  ☆18Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆28Updated 11 years ago
• astrainfinita / Algorithm
  Verified efficient algorithms in Lean4.
  ☆30Updated 2 weeks ago
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆83Updated 3 weeks ago
• arthurpaulino / lean2md
  ☆21Updated last year
• calcu16 / lean_complexity
  Complexity analysis in Lean
  ☆10Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆30Updated 5 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last week
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆68Updated 2 weeks ago
• alexjbest / leaff
  Leaff is a diff tool for Lean environments
  ☆19Updated 7 months ago
• dwrensha / Chess.lean
  Chess in Lean 4
  ☆21Updated 7 months ago
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆73Updated 3 weeks ago