[CakeML] Learning material for CakeML

[Mario Castelán Castro]

Hello.

I am interested in writing formally verified programs. I have some
familiarity with the HOL4 system, but not with verifying computer programs.

How I should I learn how to to use CakeML? The only documentation I
could find is an incomplete manual in the Git repository and a directory
“tutorial” that is hardly of any help to learn how to use the system.

-- 
Do not eat animals; respect them as you respect people.
https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://lists.cakeml.org/pipermail/users/attachments/20170917/b3c8dcf4/attachment.asc>