Sign in
nineninths.
Proof in Idris of the theorem that 1 = 0.999...
github.com/Kazark/nineninths
by
@Kazark
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
