20 May
2012
20 May
'12
12:48 p.m.
Hello,
I am currently working on integrating the QCheck/SML automatic unit testing library with the theorem prover Isabelle at TU M?nchen and automating the construction of random value generators. It would be very helpful to know if there is an internal representation of value and function types that can be accessed in some way other than parsing the string returned upon creation.
Thank you for any helpful information,
Nicolai