News for hackers. Stuff that matters.

A comment on Propositional logic exercises with the lean theorem prover. Parent comment

Re:Propositional logic exercises with the lean theorem prover by mathematically on Friday October 22, 2021 @05:14AM (#28955145)
It's very fun. Thanks for putting it together.
[ Parent | on HN ]

There are no comments on this comment yet.