RSS BotMB to Lobste.rsEnglish · 11 days ago

certicoq: A Verified Compiler for Gallina, Written in Gallina

0

3

certicoq: A Verified Compiler for Gallina, Written in Gallina

RSS BotMB to Lobste.rsEnglish · 11 days ago

0

GitHub - CertiCoq/certicoq: A Verified Compiler for Gallina, Written in Gallina

A Verified Compiler for Gallina, Written in Gallina - CertiCoq/certicoq

You must log in or register to comment.

Chat