search

cicada-lang / cicada-solo

Cicada Language (solo version)
https://cicada-lang.org
GNU General Public License v3.0
127 stars 5 forks source link

Apply for Contributing #14

Open Mepy opened 2 years ago

Mepy commented 2 years ago

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.