Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

All lemmas and theorems in this paper have been verified with the proof assistant Lean.

okay, i won't trust them then.