Shamli
Shamli
Hi! I’d like to work on this issue. Could you please assign it to me?
I don’t have any prior background in HOL4 or CakeML, and I’m not working with anyone directly involved in CakeML development. I’m new to this area and would really appreciate...
Thank you for the guidance. I’ll go through the HOL tutorial and documentation from the official site, and also join the Zulip community to get a better understanding. I understand...
Hi! I’d like to work on this issue. Could you please assign it to me?