Altı ay önceki serbest alfa Yorgun: Markdown Özellikleri ve Üretim Testleri Wired: Formal Yöntemler