Skip to content

Fix Proto_alpha translation

Evan Marzion requested to merge translation-work into master-with-coq-j-and-k

Merge request reports