hckrnws
back
3 months ago
Thurs Mar 13, 2025 3:28pm PST
Show HN: I'm 6 months late, but I made a Natural Language theorem prover
@ArnavAgrawal03
read article
comments:
add comment
loading comments...