Re:Introduction to Formal Verification with Lean Part 1
by badcryptobitch on Wednesday July 22, 2026 @05:42PM
(#49013858)
I'm the webmaster. Another commenter let me know about the scrolling. I'll get onto it. Thank you for the feedback
Re:Introduction to Formal Verification with Lean Part 1
by badcryptobitch on Wednesday July 22, 2026 @10:24PM
(#49016058)
I've fixed it. Again, thank you for the feedback
I'd inform the webmaster but the telephone number listed on the site is "(123) 456 789", so I guess AI slop is AI slop.