pull down to refresh
Proofs are formalized in Lean. Reviews can be done automatically.
Jooo, Nostr requires NIP-44 and email login seems to be deprecated? Damn.
What size of model are you thinking of? 8b? 30b?
Cool. Hopefully a more interesting 3-letter-agency after that
Proofs are formalized in Lean. Reviews can be done automatically.