[go: up one dir, main page]

Master with proto J, K and alpha

Guillaume Claretrequested to merge
master-with-coq-j-and-k into master

An MR following master, where we can translate proto J, K and alpha to Coq.

Edited by Guillaume Claret

Merge request reports