» Etiket
formal-verification
1 yayınMaith: Yapay Zeka Destekli Matematik Araştırması İçin Disiplinli Çerçeve
Maith, Riemann ve P vs NP gibi açık matematik problemlerini yapay zekayla araştırırken katı ispat standartları uygulayan açık kaynaklı bir çalışma alanı.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.com