1. 5
    Formal Reasoning About Programs (draft book by Chlipala) compsci formalmethods programming adam.chlipala.net
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment

  1.  

  2. 1
    nickpsecurity avatar nickpsecurity 1 year ago | link

    He talks about what seems like every approach they’ve used in their projects so far.