- mathematical concepts produced by other proof assistants like
- <a href="http://coq.inria.fr">Coq</a> and encoded in an
- <a href="http://www.w3.org/XML/">XML</a> encoding of CIC. The interaction
- paradigm of Matita is familiar, being inspired by CtCoq and
+ mathematical concepts produced by other proof assistants (e.g.
+ <a href="http://coq.inria.fr">Coq</a>) when encoded in an
+ <a href="http://www.w3.org/XML/">XML</a> representation of CIC. The
+ interaction paradigm of Matita is familiar, being inspired by CtCoq and