2 ms·It's a fantastic place to learn about formal logics and type theories, too.by danharaj 11y agoIt's a fantastic place to learn about formal logics and type theories, too.