GitHub repository: lask/higher-order-ni
Primary language: Coq
Description: A Mechanization of Lambda-Sec as described in Zdancewic's Thesis (2002)