Alternatives and similar repositories for IBL-IntroToProof:

Users that are interested in IBL-IntroToProof are comparing it to the libraries listed below

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 10 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆88Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated 2 weeks ago
• ncatlab / nlab
  Source code for the nLab
  ☆169Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• thruston / Drawing-with-Metapost
  Examples of technical drawing with John Hobby's MetaPost language
  ☆47Updated last month
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆52Updated last month
• dubrousky / mockmma
  ☆30Updated 7 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• UniMath / Schools
  ☆81Updated 6 months ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆29Updated 10 months ago
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆43Updated this week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated 2 weeks ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• oscarlevin / pandoc-pretext
  A custom Lua writer to convert anything pandoc reads to PreTeXt.
  ☆13Updated 7 months ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆47Updated 3 years ago