привет аноны подскажите где можно взять книгу по языку lean (4) lean-lang.org на русском языке. Може

Аноним 25/05/25 Вск 16:07:15 #1 №320492919

привет аноны
подскажите где можно взять книгу по языку lean (4) lean-lang.org на русском языке. Может у кого-нибудь есть доступ к нейронке без ограничений и вы сможете перевести книгу "The Hitchhiker's Guide to Logical Verification".
По этому языку вообще нет гайдов на русском языке.

Аноним 25/05/25 Вск 16:12:15 #2 №320493075

тема нишевая, наверно придется ручками переводить и в latex оформлять

Аноним 25/05/25 Вск 16:18:07 #3 №320493251

>>320492919 (OP)
Безразборным преисполнявшемуся оттискивающею возмутился

Аноним 25/05/25 Вск 16:20:20 #4 №320493325

image

>>320492919 (OP)
Помогли тебе твои машинные переводы и нейрохрюки, сынку?

Аноним 25/05/25 Вск 16:25:24 #5 №320493513

>>320493325
нет пока