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
  ☆33Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 2 weeks ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated 11 months ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• rfindler / lindenmayer
  ☆25Updated 2 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆168Updated 8 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 5 months ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆52Updated 2 months ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated this week
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆31Updated last week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆72Updated this week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆54Updated 7 months ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• PreTeXtBook / pretext-projects
  Data about projects authored and distributed with PreTeXt.
  ☆9Updated last year
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆78Updated 3 years ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 10 months ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆30Updated 11 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago