Sarah Marin PRO

beanapologist

None yet

updated a dataset 4 days ago

published a model 9 days ago

updated a model 9 days ago

beanapologist 's Spaces 7

Companion to OilVinegar.lean — uniqueness of μ

Language has no tense — only position on the orbit

Language has no tense — only position on the orbit

Mining Bitcoin with vibes and formal verification

Public key → complex plane → coherence gate

Create powerful AI models without code