You can also see my post on reddit where I answer some questions https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxjn3/i_made_peanoscript_a_typescriptl

You can also see my post on reddit where I answer some questions https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxjn3/i_made_peanoscript_a_typescriptlike_theorem_prover/ https://www.reddit.com/r/ProgrammingLanguages/comments/1jfxj...