Alternatives and similar repositories for mathematical-logic:

Users that are interested in mathematical-logic are comparing it to the libraries listed below

• exo7math / python1-en-exo7
  Python in high school - Algorithms and mathematics
  ☆16Updated 3 years ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• arechnitzer / CLP1
  "CLP-1 Differential Calculus" open source textbook
  ☆55Updated 2 weeks ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated 3 weeks ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 5 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated 2 weeks ago
• somacdivad / graph-theory-with-python
  Code from the Graph Theory with Python YouTube Series
  ☆31Updated 3 years ago
• aristotle0x01 / MIT-6.004
  personal follow of mit 6.004 Computation Structures of spring 2017
  ☆12Updated 3 years ago
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆145Updated 4 months ago
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆62Updated 4 months ago
• PCCMathSAC / orcca
  Open Source Precollege Algebra Textbook
  ☆19Updated 4 months ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆15Updated 7 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• TungstenHub / tngt-manim
  Manim scripts used in Tungsteno https://www.tungsteno.io/
  ☆29Updated 4 years ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated last month
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• klevasseur / ads
  Applied Discrete Structures using PreTeXt
  ☆44Updated this week
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆63Updated last week
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆30Updated last year
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 11 months ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆74Updated last week
• ascherer / sgb
  Stanford GraphBase
  ☆31Updated 7 months ago
• DCtheTall / mit6.046
  MIT 6.046: Introduction to Algorithm Design code implementations
  ☆19Updated last year
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• transmogrifier / eulerlib
  A library of recreational mathematics and number theory related functions inspired by Project Euler
  ☆17Updated 9 years ago
• FlatAssembler / PicoBlaze_Simulator_in_JS
  Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.
  ☆26Updated this week
• seckindemirbas / PLP
  This is the repository for PLP, An introduction to mathematical proof, book
  ☆17Updated 9 months ago
• ElliotSwart / pragmaticformalmodeling
  An instructional website with progressively worked examples of TLA+ specifications and model checking.
  ☆44Updated 2 years ago