Mentions légales du service

Skip to content

Add missing Coq definition for BuiltIn.string.

Guillaume Melquiond requested to merge coq-string into master

Merge request reports

Loading