darmowy alpha sprzed sześciu miesięcy zmęczony: specyfikacje markdown i generowanie testów naładowany: metody formalne