Apply for Contributing #14
Description
I'm looking forward to the internship envolving in the proof assistant development.
@xieyuheng, I sent one email to you as for my CV and other info, please check it.
{{ message }}
I'm looking forward to the internship envolving in the proof assistant development.
@xieyuheng, I sent one email to you as for my CV and other info, please check it.