Alternatives and similar repositories for Triple-SOS

Users that are interested in Triple-SOS are comparing it to the libraries listed below

• cybcatppuccino / AlgebraicBasicConcepts
  代数基本观念
  ☆15Updated 3 months ago
• ForeverHaibara / Prover
  Auto math prover.
  ☆10Updated 11 months ago
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆74Updated 3 weeks ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 4 months ago
• Lean-zh / lean-zh.github.io
  Homepage of the Lean-zh website.
  ☆35Updated 3 weeks ago
• SimplicialCat / topos
  notes on topos theory (Chinese)
  ☆12Updated 6 months ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆15Updated last month
• banana-space / btex
  ☆48Updated last year
• BitSecret / AI4Math
  Everything about AI4Math (AI for Mathematics).
  ☆17Updated last year
• Azure1210 / VividBooK
  原ElegantBook魔改版/gorgeousnbook书籍模板更新版
  ☆61Updated 4 months ago
• banana-space / banana-space
  ☆177Updated last year
• SwitWu / FunctionalAnalysisXQHsolution
  泛函分析讲义(许全华)习题参考答案
  ☆52Updated 2 months ago
• Infinity-Type-Cafe / ntype-cafe-summer-school
  ntype cafe summer school resources
  ☆139Updated last year
• wenweili / AlJabr-2
  Methods in Algebra (Volume 2): A Chinese textbook on Algebra
  ☆20Updated last week
• xinhjBrant / leaven
  ☆9Updated last year
• tpgh24 / ag4masses
  Making Google Deepmind's AlphaGeometry accessible to the Masses
  ☆53Updated 5 months ago
• Nicholas42 / AlgebraFranke
  Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
  ☆16Updated 3 years ago
• dudubao2007 / CASTLE
  C++-Animation-(Standard-Template-Library)-Engine,or CASTLE for short,is a C++ plotting and animation engine created by BiliBili uploader …
  ☆11Updated 4 years ago
• wenweili / Yanqi-Algebra-3
  Yanqi Lake Lectures on Algebra, Part III
  ☆49Updated 4 months ago
• alissa-tung / glean
  ☆24Updated 3 weeks ago
• Howardzhangdqs / jumping-latex-ocr
  ☆122Updated last year
• YuezhengChuixing / manim-projects
  乐正垂星的个人manim项目库。存放了B站视频的源码与一些练习。乐正垂星的B站主页：https://space.bilibili.com/2057313067
  ☆99Updated last year
• frenzymath / jixia
  A static analysis tool for Lean 4.
  ☆80Updated 3 weeks ago
• AlphaZTX / fixdif
  A LaTeX package for typesetting differential operators
  ☆24Updated 2 years ago
• roozbeh-yz / IMO-Steps
  ☆18Updated 2 weeks ago
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated last year
• haoyuzhao123 / LeanIneqComp
  An inequality benchmark for theorem proving
  ☆15Updated last month
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆19Updated last week
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆38Updated last week
• SimplicialCat / Simplicial_Group
  单纯群精华信息汇总
  ☆14Updated 6 months ago