Alternatives and similar repositories for grothendieck-kimchi

Users that are interested in grothendieck-kimchi are comparing it to the libraries listed below

• napkin-community / solutions
  📝 Solutions of "An Infinitely Large Napkin"
  ☆30Updated 2 weeks ago
• PnVDiscord / software-foundations-lean
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆17Updated last week
• dongjaelee1 / refinement-tutorial
  Tutorial for refinement based verification
  ☆14Updated last year
• snu-sf-class / sf202301
  컴퓨터 신기술 특강
  ☆10Updated 2 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 6 years ago
• PnVDiscord / PnVRocqLib
  📝 A Rocq library written by members of PnV Discord Server
  ☆15Updated this week
• damhiya / MetaLambda
  ☆14Updated last year
• jcpaik / sofa-designer
  A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …
  ☆29Updated last year
• damhiya / Coq-tips
  ☆10Updated last year
• hongseok-yang / logic23
  ☆15Updated 2 years ago
• plwiki / plwiki.github.io
  ☆36Updated 9 months ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• hongseok-yang / probprog20
  ☆35Updated 5 years ago
• hongseok-yang / logic24
  ☆12Updated last year
• prosyslab-classroom / hardcore-ocaml
  ☆15Updated 6 months ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆36Updated last month
• prosyslab / pl-wiki
  ☆48Updated 3 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆66Updated last month
• 9beach / hanspell-hs
  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.
  ☆26Updated 2 years ago
• digama0 / lean4lean
  Lean 4 kernel / 'external checker' written in Lean 4
  ☆127Updated 3 weeks ago
• kwanghoon / Lecture_EOPL
  EOPL in Haskell
  ☆22Updated last week
• leanprover / cslib
  A Lean library for Computer Science
  ☆149Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆191Updated 2 weeks ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆74Updated last week
• leanprover-community / duper
  ☆93Updated last week
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 5 years ago
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆60Updated 2 weeks ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last month
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆81Updated last week