Phetolelo ea 8.12 e lokollotsoe (phetolelo e nyane ea morao-rao e fumanehang nakong ea ho ngola litaba ke 8.12.1) ea "interactive theorem proven tool" Coq (cockerel).
Coq e kenyelletsa puo ea lenaneo e itšetlehileng ka mofuta oa Gallina (khoho), e thehiloeng khopolong ea ho haha calculus.
Sistimi ea Coq e u lumella ho hlahisa bopaki le mananeo a netefalitsoeng a khomphutha hammoho le bopaki ba ho lumellana le litlhaloso.
Phetolelo e ncha e ntlafalitse haholo laebrari e tloaelehileng le litokomane, hape e lokisitse liphoso tse ngata.
Source: linux.org.ru