Alternatives and similar repositories for 03_Mathematical_logic_and_foundations:

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

• planetmath / 11_Number_theory
  ☆21Updated last year
• planetmath / 00_General
  ☆33Updated 6 years ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆22Updated last week
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Updated 2 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 13 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mseri / AoM
  Lecture notes of the course Analysis On Manifolds
  ☆20Updated 2 weeks ago
• planetmath / 05_Combinatorics
  ☆10Updated last year
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 6 years ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆57Updated 10 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆48Updated last year
• mattpap / mathematica-parser
  Mathematica's programming language parser written in Scala
  ☆24Updated 10 years ago
• dubrousky / mockmma
  ☆28Updated 7 years 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 3 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• ProjectMAC / propagators
  The propagator system
  ☆41Updated 9 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆59Updated 6 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆36Updated 10 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 7 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 10 months ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 4 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago