Skip to content

Draft: translation to Coq

Guillaume Claret requested to merge guillaume-claret@prefix-json-constructors into master

Attempt to have an automated translation to Coq.

Merge request reports