4 ms·
iOS formalization app mentioned by Tao (beta) https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/ TIL: startup founded by Robin Hood CEO
by gsf_emergency_6 11mo ago
iOS formalization app mentioned by Tao (beta)
https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/
TIL: startup founded by Robin Hood CEO