News for hackers. Stuff that matters.

A comment on Formal Reasoning [pdf]. Parent comment

Re:Formal Reasoning [pdf] by pjmlp on Sunday October 26, 2025 @12:28PM (#45713104)
As big Prolog fan, thanks for sharing those resources.
[ Parent | on HN ]

There are no comments on this comment yet.