Build TypeTheory

Fix the chown issue #210

Sign in to view logs

Annotations

6 warnings

"From Coq" has been replaced by "From Stdlib".

"From Coq" has been replaced by "From Stdlib".

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Postfix notations (i.e. starting with a nonterminal symbol and

disp_nat_z_iso_to_trans does not respect the uniform inheritance

The logs for this run have expired and are no longer available.