Abuse Melding

Je hebt een klacht over de onderstaande posting:

02-02-2011, 18:45 door Anoniem

Dit bestaat al langer. De catch is dat het (hogere niveau) model correct moet zijn (ipv de code zelf). Dan krijg je dus een bewijs dat de code werkt zoals het model beschrijft. Vroeger was het zo dat men maar weinig zinvols kon doen met een dergelijke kernel. Hoe dat bij deze zit weet ik niet.

Beschrijf je klacht (Optioneel):

captcha