Skip to content

Changes to translate proto alpha to Coq

Guillaume Claret requested to merge guillaume-claret@experiments-2022-09-09 into master-with-coq-j-and-k

Merge request reports