Hacker News new | ask | show | jobs
by gsf_emergency_6 206 days ago
iOS formalization app mentioned by Tao (beta)

https://aristotle.harmonic.fun/

TIL: startup founded by Robin Hood CEO