Lemma

Rincoin

The original Rincoin server, running since 2025-03-27, 51 hours before the first block was mined. The public launch record lives here: independent participants compiled the source and reported bugs 30 hours before block 1, and early consensus parameters were changed after community feedback.

Project Epsilon

“Verifying the unverifiable, one lemma at a time.”