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

Re: [mizar] Where to find "MML Query" documentation and source code?

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] Where to find "MML Query" documentation and source code?
From: Jesse Alama <jesse.alama@gmail.com>
Date: Sun, 04 Sep 2011 22:42:45 +0200

Boris Schminke wrote:

MML Query rulez


Just out of curiosity, can you share how you're using MML Query?

--
Jesse Alama
http://centria.di.fct.unl.pt/~alama/

Follow-Ups:
- Re: [mizar] Where to find "MML Query" documentation and source code?
  - From: Boris Schminke <schminkeba@gmail.com>

References:
- Re: [mizar] Where to find "MML Query" documentation and source code?
  - From: Boris Schminke <schminkeba@gmail.com>

Prev by Date: Re: [mizar] Where to find "MML Query" documentation and source code?
Next by Date: Re: [mizar] Where to find "MML Query" documentation and source code?
Index(es):
- Chronological
- Thread