Show HN: I'm 6 months late, but I made a Natural Language theorem provergithub.com/ArnavAgrawal033 pointsArnavAgrawal03a year ago