Note that Lean's own correctness is now being AI-slop-proven too github.com/leanprover/c... (see also types.pl/@joshchen/11...)
GitHub - leanprover/con-leche
Contribute to leanprover/con-leche development by creating an account on GitHub.
github.com
September 10, 2026 at 1:11 PM
Note that Lean's own correctness is now being AI-slop-proven too github.com/leanprover/c... (see also types.pl/@joshchen/11...)
#AnaHuang #collage #AlexVolkov #JoshChen #TwistedLove #TwistedHate
Колаж по серии книг Twisted Анни Хван, вместо двух главных героинь тут представлено оригинальных персонажей
Колаж по серии книг Twisted Анни Хван, вместо двух главных героинь тут представлено оригинальных персонажей
March 1, 2026 at 7:18 AM
#AnaHuang #collage #AlexVolkov #JoshChen #TwistedLove #TwistedHate
Колаж по серии книг Twisted Анни Хван, вместо двух главных героинь тут представлено оригинальных персонажей
Колаж по серии книг Twisted Анни Хван, вместо двух главных героинь тут представлено оригинальных персонажей