Date Range
Date Range
Date Range
A PhD student in computer science for the πr. Here I post some articles about things I am doing in Coq. Simple unit testing in Coq. Implementation of promises for Coq. Concurrency with promises in Coq. Formally verify a script in Coq. Write a script in Coq.
Wer einen Menschen wieder zum Lachen bringt, schließt ihm das Himmelreich auf. Wie erfüllt es mich immer wieder mit einer überschwenglichen Freude, hinter Euch her zu fahren, und dabei Euer grelles Nebelschlusslicht zu bewundern. Wie entzückt bin ich von der Tatsache, dass ihr es ansich nur gut meint, und auf Euch aufmerksam machen wollt, damit keiner durch einen Auffahrunfall Euren Kofferraum verkleinert! So bin ich zu Euch.
Middot; Na, Du hast das Glück echt. Middot; ich bin schwer beeindruckt. Middot; Hallo Claudia! Middot; Hallo Claudia! Middot; Wo bleiben die Beweisfotos. Bei Bifi habe ich einen Minikühlschrank gewonnen, der auch schon angekommen ist.