Skip to content

Prefix json constructors

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

To avoid name collisions in Coq.

Edited by Guillaume Claret

Merge request reports