Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Not
Hacker
News
!
Home
Hiring
Products
Discussion
Q&A
Users
Home
/
Discussion
/
Set Theory
Back to Discussion
Set Theory
Loading...
5 stories
•
24h:
0%
•
7d: 0
•
12 comments
Top contributors:
baruchel
ibobev
bikenaga
vismit2000
kevinswag
Stories
Related Stories
5 stories tagged with set theory
Set Theory with Types
20
10 comments
by baruchel
Posted
about 1 month ago
Active
about 1 month ago
set theory
type theory
mathematics
formal verification
Set Theory with Types
4
1 comments
by ibobev
Posted
about 1 month ago
Active
about 1 month ago
set theory
type theory
mathematics
formal verification
A Gentle Introduction to the Axiom of Choice
3
0 comments
by bikenaga
Posted
4 months ago
Active
about 1 month ago
mathematics
axiom of choice
set theory
Visualizing Intersecting Sets
2
0 comments
by vismit2000
Posted
about 2 months ago
Active
about 1 month ago
data visualization
set theory
interactive tools
Anonymous Breaks Code of Collatz System
2
1 comments
by kevinswag
Posted
4 months ago
mathematics
Collatz system
set theory
Set Theory | Trending Topic on Hacker News | Not Hacker News!