Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.
-
Updated
Aug 21, 2022 - Lean
#
settheory
Here are 10 public repositories matching this topic...
A Python datastructure for working with overlapping discontinuous time periods.
-
Updated
Jun 30, 2022 - Python
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.)
-
Updated
Jan 23, 2024 - Java
its so real dude, its like literal programming
-
Updated
Feb 14, 2024 - Python
Discrete Math in Python
-
Updated
Jun 27, 2021 - Jupyter Notebook
Package written in Go to get, return, treat and manage emojis ⛑ 🪱 💥 🏵️ 🇳🇺 💾 🏟️ 🫁 💦 🦭🐽 🔱 🦋 📌 👹 ♨️ 🇳🇷 📐 🤬 🐍 🐈 ⚜️ 🔫 🚄 ❤️🩹 🌋 🎓 💈 🎃 🥑 😈 🥥 😸 🐾 🥵 ♻️ 🦾 🙀 🎗️ ☠️ 🫀 👻 🇰🇵 🫐 🗾 🏗️ 🤢 🔕 🏧 👽 🪔 🌹 🪙 ⚕️🛎️ 💩 🐡 🐙 😻 🧳 🎥 💻 🥶 🔘 🖥️ 🔮 🐳 🕳️ 💯 💫 🪐 🧨 🗺️ 🇨🇺 🦣 🦈 🐲 🧱 🍳 🇨🇼 ⛩️ 🤯 🌡️ 🥩 👺 📎 💳 🦧 🎳 🧶 🏛️ 🧠 🥀 🛑 ✔️ 🐬 🇮🇲 🔥 from the Open Emoji API in every Go project...
-
Updated
Apr 30, 2022 - Go
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
-
Updated
Oct 29, 2023 - Python
-
Updated
Dec 29, 2024 - C#
Improve this page
Add a description, image, and links to the settheory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the settheory topic, visit your repo's landing page and select "manage topics."