Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.

A Python datastructure for working with overlapping discontinuous time periods.

Discrete Math Calculator (Set operations: intersection, union, difference, cartesian product, etc. Relationship properties: validate whether it represnts a funtion or not, reflexivity, symmetry, antisymmetry, transitivity, relationship matrix, etc.)

Discrete Math in Python

Package written in Go to get, return, treat and manage emojis ⛑ 🪱 💥 🏵️ 🇳🇺 💾 🏟️ 🫁 💦 🦭🐽 🔱 🦋 📌 👹 ♨️ 🇳🇷 📐 🤬 🐍 🐈 ⚜️ 🔫 🚄 ❤️‍🩹 🌋 🎓 💈 🎃 🥑 😈 🥥 😸 🐾 🥵 ♻️ 🦾 🙀 🎗️ ☠️ 🫀 👻 🇰🇵 🫐 🗾 🏗️ 🤢 🔕 🏧 👽 🪔 🌹 🪙 ⚕️🛎️ 💩 🐡 🐙 😻 🧳 🎥 💻 🥶 🔘 🖥️ 🔮 🐳 🕳️ 💯 💫 🪐 🧨 🗺️ 🇨🇺 🦣 🦈 🐲 🧱 🍳 🇨🇼 ⛩️ 🤯 🌡️ 🥩 👺 📎 💳 🦧 🎳 🧶 🏛️ 🧠 🥀 🛑 ✔️ 🐬 🇮🇲 🔥 from the Open Emoji API in every Go project...

Coding Activity for Midterms

its so real dude, its like literal programming

This project showcases advanced algorithm implementations in C++, focusing on Set Theory operations, Boolean expression evaluation, and core Graph Algorithms. It's built for learners and developers aiming to strengthen their understanding of algorithm design and computational logic.

According to Real Mathematics (The departure of Analysis) if multiple sets are comprised of the same letters, no matter how many times each used, they are the same set