Proving Simple Theorems with TypeScripttwitter.com3 points·jehna1··0 commentsOpen articleSaveView on HN