constructive-reals. Real numbers with decidable equality

github.com/joelburget/constructive-reals
by @joelburget

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.