id Summary Owner Status Resolution Created Modified 1 Manticore parallel programming language new Apr 22, 2011, 7:26:48 AM Apr 22, 2011, 7:26:48 AM 7 Abella theorem prover new Mar 5, 2013, 6:59:18 AM Mar 5, 2013, 6:59:18 AM