Alternatives and similar repositories for notes

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

• bollu / ward
  WARD is a minimal, performant infinite whiteboard app for wacom tablets
  ☆22Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆47Updated 3 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆95Updated 11 months ago
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆112Updated last year
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆229Updated 8 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• 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…
  ☆121Updated last year
• AMouri / artin-algebra
  Solutions to Algebra, by Michael Artin.
  ☆35Updated 8 years ago
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆32Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆308Updated 10 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 3 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆413Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆121Updated last year
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 9 months ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 4 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆74Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆129Updated 2 months ago
• jeanqasaur / learn-programming-languages
  Resources for the working programmer to learn more about the fundamentals and theory of programming languages.
  ☆336Updated 5 years ago
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 3 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆30Updated 6 years ago