Alternatives and similar repositories for SU

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

• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 2 years ago
• impermeable / coq-waterproof
  The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…
  ☆46Updated last week
• thwfhk / PKU-Beamer-Theme
  基于Metropolis修改的北大风格Beamer主题
  ☆28Updated 3 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆444Updated 4 months ago
• rocq-community / coqtail-math
  Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…
  ☆16Updated last month
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆93Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆358Updated this week
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆209Updated 6 months ago
• chanqi4444 / GTM
  Download all GTMs by the scripts
  ☆78Updated 6 years ago
• frenzymath / jixia
  A static analysis tool for Lean 4.
  ☆101Updated 3 weeks ago
• mactonya / algebra-chapter-0-solutions
  The solution to Algebra : Chapter 0 by Paolo Aluffi.
  ☆35Updated last year
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆45Updated 3 weeks ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 4 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆458Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆480Updated 3 weeks ago
• inpefess / isabelle-client
  A client for Isabelle server (https://isabelle.in.tum.de)
  ☆13Updated 3 weeks ago
• stanford-centaur / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆123Updated 2 weeks ago
• secure-foundations / human-eval-verus
  ☆23Updated 2 months ago
• leanprover-community / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆171Updated 3 weeks ago
• mirefek / lean-tactic-programming-guide
  Beginner's guide to Tactic Programming in Lean
  ☆64Updated 3 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆422Updated this week
• Lean-zh / fp-lean-zh
  Lean 函数式编程
  ☆39Updated 2 months ago
• leanprover-community / lean4-metaprogramming-book
  ☆268Updated 9 months ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆98Updated 2 weeks ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆215Updated last week
• QinxiangCao / UnifySL
  ☆25Updated 5 years ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆187Updated this week
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆77Updated 3 weeks ago