set-theory topic
problem-solving-class-lectures
Lectures for the "Problem Solving" Class at Nanjing University.
Deta_Resource
🔥 DNA微分催化与肽计算, 元基花计算,进化计算,遗传计算,智慧计算,索引计算,元基编码,肽展公式,大数据计算分析
gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
redbase
A simple, fast, type-safe database on top of Redis
piso
Pandas Interval Set Operations: providing methods for set operations, analytics, lookups and joins on pandas' Interval, IntervalArray and IntervalIndex
discrete-math-course
:milky_way: Supplementary materials for Discrete Math course at ITMO University
I2DM
The lecture notes for my discrete mathematics classes.
sdset
Set theory applied on sorted and deduplicated slices.
con-nf
A formal consistency proof of Quine's set theory New Foundations