Dasturchi Lean 4 tilida to'liq RealWorld veb-ilovasini yaratdi

Lean 4 dasturlash tili va isbot assistentida mashhur RealWorld to'liq veb-ilovasi yaratildi. Loyiha muallifi dastur API hamda veb-sayt rasmiy testlaridan muvaffaqiyatli o'tganini ma'lum qildi.

Ilova server qismi, ma'lumotlar bazasi va interaktiv frontend funksiyalarini to'liq Lean 4 kutubxonalari orqali amalga oshiradi. Loyihaning kodi GitHub platformasiga joylashtirildi.

Oddiy AI texnologiyasi yordamida tarjima qilingan