Alternatives and similar repositories for forallx-yyc:

Users that are interested in forallx-yyc are comparing it to the libraries listed below

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆36Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆157Updated 3 weeks ago
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆94Updated 4 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆41Updated 3 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆170Updated 3 months ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• 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…
  ☆119Updated 10 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆273Updated this week
• leanprover / verso
  Lean documentation authoring tool
  ☆132Updated this week
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆78Updated last month
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated 11 months ago
• coq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆115Updated 5 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆158Updated 7 months ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆23Updated this week
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆94Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated 11 months ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆277Updated last month
• OpenLogicProject / forallx-cam
  Tim Button's Cambridge version of forallx
  ☆11Updated 6 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆96Updated last year
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆19Updated 3 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆64Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆93Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month