Версияи 8.12 (версияи охирини ноболиғ дар вақти навиштани хабар 8.12.1) воситаи интерактивии исботкунандаи теоремаи Coq (cockerel) бароварда шуд.
Coq забони барномасозии навъи Gallina (мурғ)-ро дар бар мегирад, ки ба назарияи ҳисобҳои сохтмонӣ асос ёфтааст.
Системаи Coq ба шумо имкон медиҳад, ки ҳам далелҳои теоремаи бо компютер санҷидашаванда ва ҳам барномаҳоро бо далели мувофиқат ба мушаххасот таҳия кунед.
Версияи нав китобхонаи стандартӣ ва ҳуҷҷатҳоро ба таври назаррас такмил дод ва инчунин як қатор хатогиҳоро ислоҳ кард.
Манбаъ: linux.org.ru