News for hackers. Stuff that matters.

A comment on Formal Reasoning [pdf]. Parent comment

Re:Formal Reasoning [pdf] by ajs1998 on Sunday October 26, 2025 @04:33PM (#45715000)
Join the Lean Zulip. There are many people interested in this.

https://leanprover.zulipchat.com/

[ Parent | on HN ]

There are no comments on this comment yet.