GitHub topics: set-theory
szimel/studious-matematicas
What i've learned in my jump back into mathematics
Language: TypeScript - Size: 2.17 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
leanprover-community/con-nf
A formal consistency proof of Quine's set theory New Foundations
Language: Lean - Size: 18.2 MB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 69 - Forks: 7
bedops/bedops
:microscope: BEDOPS: high-performance genomic feature operations
Language: C - Size: 93.9 MB - Last synced at: 10 days ago - Pushed at: 11 days ago - Stars: 327 - Forks: 61
sjlee2301/sjlee2301.github.io
Math-101
Language: HTML - Size: 5.48 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0
Lipen/discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
Language: TeX - Size: 34.6 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 36 - Forks: 8
Hacker-Code-J/Modern-Mathematics
Materials for graduate-level mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra etc.
Language: TeX - Size: 76.4 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 8 - Forks: 0
siroshimadenagasaki/stoikheion.github.io
Stoikheion pitch class set calculator
Language: JavaScript - Size: 166 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0
blandoncj/setTheoryHelper
A tool for set theory operations, subset classification, and mathematical laws.
Language: Java - Size: 11.7 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0
rocq-community/gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Language: Coq - Size: 2.06 MB - Last synced at: 12 days ago - Pushed at: 27 days ago - Stars: 30 - Forks: 7
Electrostat-Lab/Mathematics-I
Housing useful resusable equations and formulas in calculus, discrete mathematics, and linear algebra.
Language: TeX - Size: 1.18 MB - Last synced at: 21 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
leogaudin/ready_set_boole
42 • An introduction guide to Boolean Algebra, to discover the way computers work mathematically.
Language: Rust - Size: 112 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0
terkelg/zet
Set() as it should be.
Language: JavaScript - Size: 71.3 KB - Last synced at: 17 days ago - Pushed at: almost 5 years ago - Stars: 519 - Forks: 8
spamegg1/Math-for-CS-solutions
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
Language: TeX - Size: 11.5 MB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 150 - Forks: 24
Electrostat-Lab/Project-talk
A repository housing useful models to neatly describe any project in an interview or a conference.
Language: HTML - Size: 959 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0
FlorianCassayre/master-project
Master Thesis Project at LARA (EPFL)
Language: Scala - Size: 940 KB - Last synced at: 2 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
staircase-dev/piso
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
Language: Python - Size: 463 KB - Last synced at: 14 days ago - Pushed at: 4 months ago - Stars: 26 - Forks: 2
alexanderatallah/redbase
A simple, fast, type-safe database on top of Redis
Language: TypeScript - Size: 2.31 MB - Last synced at: 28 days ago - Pushed at: almost 2 years ago - Stars: 44 - Forks: 6
upsetjs/chartjs-chart-venn
Chart.js Venn and Euler Diagrams
Language: TypeScript - Size: 17.3 MB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 67 - Forks: 13
delonnewman/activerecord-setops
Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).
Language: Ruby - Size: 656 KB - Last synced at: 8 days ago - Pushed at: over 2 years ago - Stars: 22 - Forks: 1
Coders-Compass/set
FInite set implementation in the Go Programming Language
Language: Go - Size: 361 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
b4ich3v/Logic_Crusher
A tool for working with Boolean functions and sets
Language: Python - Size: 39.7 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 10 - Forks: 0
Anantiz/42_Ready_set_bool
42 Ready set bool in rust. Introduction to boolean algebra and set-theory
Language: Rust - Size: 5.53 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
jankapunkt/js-set-extension
Extending the Set class in order to support mathematical set properties and operations.
Language: JavaScript - Size: 1.15 MB - Last synced at: 8 days ago - Pushed at: almost 2 years ago - Stars: 13 - Forks: 3
more-joao/math
A couple of scripts related to mathematics.
Language: Python - Size: 9.77 KB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
yurrriq/gis
An implementation of David Lewin's Generalized Interval Systems
Language: Idris - Size: 291 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0
hossainsmshakib/GoKage-TextSearchEngine
A High-Performance Full-Text Search Engine in Go 🔍
Language: Go - Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
p2js/set-theory
rust type-system set theory
Language: Rust - Size: 8.79 KB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
alussana/TrieSUS
Find the Smallest Unique Subset (SUS), fast
Language: Python - Size: 481 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 5 - Forks: 1
choukh/Baby-Set-Theory
Coq集合论中文教程
Language: Coq - Size: 401 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 44 - Forks: 3
FlorentCLMichel/Theorie_Ensembles_Arithmetique
Some notes on the basics of Mathematical logic, set theory, and arithmetic (in French).
Language: TeX - Size: 72 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
benbucksch/jscollection
Collections for JavaScript with dynamic operators to concat, merge, substract, intersect etc. and observe the dynamically calculated result
Language: JavaScript - Size: 182 KB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 1
claby2/axiomatic-set-theory
∃∀ Formalizing Enderton's "Elements of Set Theory" in Lean
Language: Lean - Size: 73.2 KB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
GabriOliv/comparador-de-listas
Ferramenta simples e eficiente para comparar listas de nomes. Compara duas listas (A e B) e retorna os resultados de conjuntos.
Language: HTML - Size: 13.7 KB - Last synced at: 16 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
Kerollmops/sdset
Set theory applied on sorted and deduplicated slices.
Language: Rust - Size: 422 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 45 - Forks: 2
ajcr/transfinite
Transfinite ordinal arithmetic and factorisation up to epsilon-zero
Language: Python - Size: 449 KB - Last synced at: 15 days ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 1
chrdek/LinqDataCalc
📈 🎲 Linq based data statistics set of extensions.
Language: C# - Size: 7.95 MB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0
vihdzp/hfs
Hereditarily finite sets in Rust.
Language: Rust - Size: 340 KB - Last synced at: 23 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 1
rhoseininaveh/rhoseininaveh.github.io
Rouholah Hoseini Naveh
Size: 15.7 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
CE-Storage/CE115-DS
Discrete Structures course at Sharif University of Technology
Size: 38.4 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
amka66/mai
mai: MAth Interpreter with Standard Foundations
Language: Prolog - Size: 177 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 4 - Forks: 1
Okwesie/Set-Savants
This project focuses on the intersection of propositional logic, set theory, and Boolean algebra. We have developed a program that enables users to convert propositional expressions—containing variables, conjunctions, disjunctions, negations, and truth values—into various forms, including dual, set notation, and Boolean expression
Language: Python - Size: 7.81 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
driimus/fancy-set 📦
Constrained JavaScript mixin that applies set-theoretic operations to set classes.
Language: JavaScript - Size: 120 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
courses-at-nju-by-hfwei/problem-solving-class-lectures
Lectures for the "Problem Solving" Class at Nanjing University.
Language: TeX - Size: 1.42 GB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 26 - Forks: 4
noamteyssier/gia
gia: Genomic Interval Arithmetic
Language: Rust - Size: 3.12 MB - Last synced at: 7 months ago - Pushed at: 8 months ago - Stars: 50 - Forks: 2
Smoren/partial-intersection-php
M-partial intersection of sets and multisets explanation and examples
Language: PHP - Size: 713 KB - Last synced at: 19 days ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1
duong755/vermischt
Học gì ở Toán phổ thông?
Language: TeX - Size: 374 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0
ryanve/ssv
Space Separated Values. JavaScript library for spaced data. Fun and fast for classnames and beyond :two_hearts:
Language: JavaScript - Size: 205 KB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 0
lebrancconvas/Pure-Mathematics-EBooks
E-Books Library for someone who interested in Pure Mathematics.
Size: 16.6 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 15 - Forks: 3
kumatheworld/textbook-solutions
Typeset solutions to textbook exercises
Language: TeX - Size: 282 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
kubikowski/set-utilities
High performance set theory - functional utilities which operate on arbitrary input sets.
Language: TypeScript - Size: 564 KB - Last synced at: 12 days ago - Pushed at: 11 months ago - Stars: 5 - Forks: 2
zenosaltt/courses-fmi
Appunti di Matematica Discreta, corso Fondamenti Matematici per l'Informatica.
Language: TeX - Size: 4.79 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
gioenn/cantor
Encoding rational and integer numbers with naturals
Language: Python - Size: 7.81 KB - Last synced at: 8 days ago - Pushed at: about 7 years ago - Stars: 3 - Forks: 0
Papich23691/Math
A small math library in c++
Language: C++ - Size: 24.4 KB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 1
bl33h/mathematicalSets
A program that manipulates mathematical sets, allowing users to input elements, perform set operations, and search for specific elements.
Language: Python - Size: 8.79 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
choukh/Set-Theory
A formalization of the textbook Elements of Set Theory
Language: Coq - Size: 3.79 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 59 - Forks: 4
ostis-apps/set-ostis-drawings
Language: JavaScript - Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 2
gblikas/set-theory-solutions-manual
Solutions for Paul Halmos' Naive Set Theory
Size: 714 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 6
EmirTheGreatt/maths
An extensive variety of libraries which covers entirety of mathematics
Language: Python - Size: 0 Bytes - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
sergeivolodin/SetTheoryCheatSheet
EPFL Set Theory MATH-318 cheat sheet (Godel stuff), 2017-2018
Language: TeX - Size: 209 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
theoremprover-museum/egal
Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory
Language: OCaml - Size: 1.32 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
SockRocks/Python-Elementary-Set-Theory-Calculator
A Python library designed to be exceptionally user friendly and fast. Recommended usages for this library are for new to intermediate level math/comsci majors being introduced to set theory for the first time. Features include: Simple set object, set union calculation, set intersection calculation, power set calculation, cartesian product, and more
Language: Python - Size: 395 KB - Last synced at: about 1 hour ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
attarmehran/Data-Driven-Safety-Preserving-Control-Architecture-for-Constrained-CPS
This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.
Language: MATLAB - Size: 4.67 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 3
jmcheon/ready_set_boole
Discover the basics of computer-related mathematics with Boolean Algebra and Sets Theory
Language: C++ - Size: 177 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
b97tsk/intervals
A Go library for manipulating sets of intervals.
Language: Go - Size: 80.1 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
DylanPenney/COMP0002-Haskell-Coursework
Datatype that represents the mathematical concept of a (finite) set of elements
Language: Haskell - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
lemewynn/euler-set-solver 📦
solving set theory equations
Language: C++ - Size: 146 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
valhalla-lang/brokkr
Virtual Machine / Bytecode Interpreter — Specialised for Valhalla.
Language: Rust - Size: 42 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0
Yashraj-Aware/DM-Assignments
These are the assignments of Second year Discrete Mathematics subject
Size: 3.5 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
musicus/Post-Tonal-Vade-mecum
A collection of jupyter notebooks solving post-tonal music theory problems you didn't know you had using python and music21.
Language: Jupyter Notebook - Size: 130 KB - Last synced at: 16 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
miguelalejandromorenobarrientos/relations
Kotlin library to analyze finite heterogeneous relations and endorelations
Language: Kotlin - Size: 164 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
freesoft/ml-stat-bookmark-kr
셀프/대학원 공부하면서 나름대로 정리해뒀던 통계, 머신러닝 관련 자료 중 한국어로 된 부분들만 추려봤습니다
Size: 19.5 KB - Last synced at: 12 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 1
purbancz/doktorat
Selected logical aspects of apophatic theology | The PhD thesis in philosophy written in 2022 (in Polish) under the supervision of Adam Olszewski.
Language: TeX - Size: 22.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
abtsousa/mdma
A collection of class notes and proofs for a Discrete Mathematics university course (in Portuguese). https://abtsousa.github.io/mdma/
Language: HTML - Size: 7.89 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
muratcankilic96/topos
Topos is a library for implementations of mathematical concepts for .NET environment. Based on Zermelo–Fraenkel set theory (ZFC).
Language: C# - Size: 4.14 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0
ShrohanMohapatra/PackMFCS
A set of python programs that can be used by early learners of the Mathematical Foundations of Computer Sciences (courtesy: Introduction to the Theory of Computation by Michael Sipser)
Language: Python - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
curtisupshall/mandelbrot-ascii
🧮 An ASCII Mandelbrot zoom in C.
Language: C - Size: 17 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
haydn/set-fns
∅ A utility library for working with sets.
Language: TypeScript - Size: 179 KB - Last synced at: 2 days ago - Pushed at: almost 3 years ago - Stars: 22 - Forks: 0
mikulas-mrva/bc-thesis
My logic bachelor thesis.
Language: TeX - Size: 37.8 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 0
8HoLoN/prime-numbers
Prime number sets as mathematical sequence based on sine products.
Language: JavaScript - Size: 127 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
MaxGavr/set_operations
All operations with sets (union, intersection, etc.)
Language: C++ - Size: 20.5 KB - Last synced at: over 1 year ago - Pushed at: almost 9 years ago - Stars: 1 - Forks: 0
katsaii/dot-edit 📦
Educational graph theory program for relations and graph traversals; DOT/graphviz editor tool.
Language: Haskell - Size: 107 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
saxarona/tc1003
Discrete Mathematics---A full-course on sets, predicate logic, relations, functions, first order logic, proofs and graph theory
Language: HTML - Size: 4.82 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
valhalla-lang/valhallac
Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge
Language: Rust - Size: 1.2 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 10 - Forks: 1
DannyKomjathy/College-Algebra_CS
Web URL gives Chronological order: College Algebra concepts implemented insde the realm of Computer Science and Mathematics that cover parts of both Graph, and Number Theory. This repository is not limited to just those Foundational Subjects but can also cover concepts in Set Theory.
Language: Jupyter Notebook - Size: 26.4 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
timjb/set-theory-prover
Simple LCF-style proof assistant for ZFC
Language: Haskell - Size: 81.1 KB - Last synced at: 22 days ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0
HomeworkHopper/Pash
Uniquely identifying points in n-dimensional space
Language: C - Size: 27.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
SudipSinha/writings
Most of my writings — notes, talks, travelogues, thoughts, and the rest
Language: TeX - Size: 12.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
LoicKonan/Discrete-Structures
Discrete Structures & Analysis.
Language: C++ - Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
angelgranado1729/Repositorio-Tesis
Avances y algunos documentos relacionados con mi Tesis de Grado titulada como: "Algunos Resultados sobre Filtros Medibles sobre N". Estos docuementos exponen algunos resultados clásicos de Teoría de Conjuntos, Análisis Funcional, Topología, Teoría de Filtros sobre N y Teoría de la Medida; que han sido usados durante mi Trabajo de Grado.
Size: 1.1 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
wolcomm/prefixset-rs 📦
A Rust library providing a set-like container for IP prefixes.
Language: Rust - Size: 11.1 MB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
LaMatemaga/CF-Matematicas
Recursos de Matemáticas en Código Facilito
Language: Jupyter Notebook - Size: 6.04 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 35 - Forks: 10
napen123/nelson
The various works of Edward Nelson.
Language: HTML - Size: 24.6 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
lxaw/suugaku
A repository of math proofs for various math books in Japanese.
Language: TeX - Size: 321 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
lycantropos/topo 📦
Topology models (intervals, discrete sets, etc.)
Language: Python - Size: 67.4 KB - Last synced at: 5 days ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
FlorianCassayre/semester-project 📦
Semester Project at LARA (EPFL)
Language: Scala - Size: 301 KB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
rocq-community/zorns-lemma 📦
Archived since the contents have been moved to the topology repository
Language: Coq - Size: 91.8 KB - Last synced at: 28 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 6
Cypooos/GenOS
an operating system based on PHIL'S tutorial, it has the goal of proposing a different way of storing data, inspired by set theory
Language: Rust - Size: 630 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1
Lolirofle/stuff-in-agda
Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
Language: Agda - Size: 4.67 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1
AlexLamson/vscode-set-operations
VSCode extension to perform set operations on text in VSCode
Language: TypeScript - Size: 123 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
alexanderknop/I2DM
The lecture notes for my discrete mathematics classes.
Language: TeX - Size: 56.2 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 5
