Alternatives and similar repositories for Discrete_Math_Notes:

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

• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• cnewstead / infdesc
  An Infinite Descent into Pure Mathematics
  ☆41Updated 4 years ago
• bollu / ward
  WARD is a minimal, performant infinite whiteboard app for wacom tablets
  ☆21Updated 3 years ago
• awodey / math
  Mathematical notes and papers
  ☆25Updated last week
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆24Updated this week
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 4 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• chrisgzf / nus-temp
  Script to easily submit your body temperature to NUS's temperature declaration system
  ☆16Updated 3 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆68Updated last year
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆50Updated 11 months ago
• bobatkey / CS316-18
  The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
  ☆31Updated 6 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• ssomayyajula / linear
  Linear Algebra Done...Lean
  ☆17Updated 7 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…
  ☆119Updated 10 months ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆33Updated last year
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 9 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated 11 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆72Updated 5 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated 11 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 2 months ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆35Updated 2 years ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆30Updated last month
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆56Updated this week