New draft (#2) of SRFI 252: Property Testing Arthur A. Gleckler 23 Jan 2024 20:53 UTC