[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Strong Mizar wish: linking to consider (fwd)

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Strong Mizar wish: linking to consider (fwd)
From: Claudio Sacerdoti Coen <sacerdot@CS.UniBO.IT>
Date: Wed, 20 Mar 2002 19:20:16 +0100

> By the way: does MathML have a concept of "types"?

 No. Or at least not in the sense of type-theory: there is some
 "typing information" (not extensible and just on numbers), but
 it is just used to provide a better rendering.

-- 
----------------------------------------------------------------
Real name: Claudio Sacerdoti Coen
PhD Student in Computer Science at University of Bologna
E-mail: sacerdot@cs.unibo.it
http://caristudenti.cs.unibo.it/~sacerdot
----------------------------------------------------------------

References:
- Re: [mizar] Strong Mizar wish: linking to consider (fwd)
  - From: Andrea Asperti <asperti@CS.UniBO.IT>
- Re: [mizar] Strong Mizar wish: linking to consider (fwd)
  - From: Freek Wiedijk <freek@cs.kun.nl>

Prev by Date: Re: [mizar] Strong Mizar wish: linking to consider (fwd)
Next by Date: Re: [mizar] Strong Mizar wish: linking to consider (fwd)
Index(es):
- Chronological
- Thread