New draft (#3) of SRFI 252: Property Testing Arthur A. Gleckler 13 Feb 2024 21:08 UTC