HOL

HOL 7

HOL kort fra Higher Order Logic er et programmeringssprog miljø, hvor sætninger kan bevises, og bevis værktøjer implementeret.Indbyggede beslutningsprocedurerne og Sætning provers kan automatisk etablere mange enkle sætninger. Et orakel mekanisme giver...

Pulse

Pulse 2.5.7

Puls projekt er en automatiseret build (eller kontinuerlig integration) server designet til at arbejde med dig for at sikre integriteten af ​​din kode.Pulse kontrollerer regelmæssigt din kildekode ud fra din SCM, bygger dine projekter, og giver dig besked...