A Library for Representing Recursive and Impure Programs in Coq
created at June 21, 2018, 6:53 p.m.
17 +0
191 -1
48 +1