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

Re: [mizar] ATP proof objects for Mizar




Hi Freek,

Comments and suggestions are much welcome,

I have neither, but I just want to say that this looks _very_ nice.

Actually that might qualify as a comment ;-), thanks. I hope it is clear that credits for the HTML rendering belong to Grzegorz and his MML Query.

Best,
Josef