log.manl.io
—
A private landfill where I write TL;DR notes to self
Proofs by induction
{
algorithms
,
logic
,
math
}
// 15.06.2014
Proving De Morgan’s laws with natural deduction
{
logic
}
// 15.02.2014