Posts tagged "coq"
Coq and The Maybe Monad December 17, 2007
Quote o' the day: proofs and algorithms June 12, 2012
Software Foundations, Volume 1: Logical Foundations December 8, 2017
There is a certain amount of celebration going on at Maniagnosis’ underground lair at the moment. (Underground lair? There’s nothing underground or lair-ish about this place. It’s not even spectacularly office-like. –Ed) I have (Insert lame drum-roll here.) completed all of the exercises in Software Foundations, Vol. 1: Logical Foundations by Benjamin Pierce, et al. (Very much al.)
(Cue fireworks!) Pop!Read more…