Can Deep Learning solve my problem? A type theoretic heuristicmedium.com2 points·formalsystem··0 commentsOpen articleSaveView on HN