set-theory topic

Lectures for the "Problem Solving" Class at Nanjing University.

courses-at-nju-by-hfwei

🔥 DNA微分催化与肽计算， 元基花计算，进化计算，遗传计算，智慧计算，索引计算，元基编码，肽展公式，大数据计算分析

yaoguangluo

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

coq-community

A simple, fast, type-safe database on top of Redis

alexanderatallah

Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex

staircase-dev

:milky_way: Supplementary materials for Discrete Math course at ITMO University

Lipen

The lecture notes for my discrete mathematics classes.

alexanderknop

Set theory applied on sorted and deduplicated slices.

Kerollmops

gia: Genomic Interval Arithmetic

noamteyssier

A formal consistency proof of Quine's set theory New Foundations

leanprover-community