Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The section title
## At least one proof has been formalized
was odd. I have changed it to
## Formalized proofs
and added below that the line
The following list results for which at least one proof has been formalized in HoTT
In the items that follows, I have cross-linked with
I have replaced all occurrences of “Brunerie proved” with a reference to
I have added pointer to:
1 to 6 of 6