abreuagdaanupamartbehindchristiansencodyconalcoqdandavideducationelliottericformallyfoundationsfunctionalhaskellhistoryhughesidrisisabellejanjohnjourneyleanlogicmacqueenmariemlmuijncknitinpatrickpedropedrotpierreplproversrealizabilityrouxselfsystemstheoremverifyingwriting