j
k
j a
j l
On 5 Jun 2014, at 14:23 , Sartakov A. Vasily sartakov@ksyslabs.org wrote:
This is a really great news. Will you publish the haskell model and proof?
Yes, the lot!
Gernot
Attachments:
Back to the thread
Back to the list