Pulse

Pulse 2.5.7

Puls-prosjektet er en automatisert bygge (eller kontinuerlig integrasjon) server som er utformet for å arbeide med å sikre integriteten til koden din.Puls sjekker jevnlig kildekoden ut fra din SCM, bygger dine prosjekter, og varsler deg om resultatene ...

HOL

HOL 7

HOL kort fra Higher Bestill Logic er et programmeringsmiljø der teoremer kan bevises og fritt verktøy implementert.Innebygde beslutningsprosedyrer og teorem provers kan automatisk opprette mange enkle teoremer. Et orakel mekanisme gir tilgang til eksterne...