[Logiweb] Curious Logiwiki behavior

blem? The "No Interpretations" error is rather meaningless to me, at this stage. Thank you, Robert [1] Mathematical Knowledge Management, http://www.cs.bham.ac.uk/~mmk/events/MKM07/ [2] http://logiweb.eu/logiweb/tutorial/ [3] http://logiweb.eu/logiweb/tutorial/create.html -- Robe

Re: [Logiweb] Curious Logiwiki behavior

Klaus, Klaus Ebbe Grue wrote: > Robert Lamar wrote: I am a PhD student in Edinburgh, Scotland who was first introduced to Logiweb at MKM '07 [1]. Just this month, I have finally found time to start investigating it. Welcome to the list Thank you. :c) I appreciate the welcome

Re: [Logiweb] Re: Curious Logiwiki behavior

Frederik, Frederik Eriksen wrote: Robert Lamar wrote: \section{Theorem} We now state Lemma 3.2l of \cite{Mendelson87}: "[ PA lemma 3.2| --- l : all x : 0 * x = 0 end lemma ]" \section{Proof} "[ PA proof of 3.2l : --- File Form input around line 153 char 16: No interpre

[Logiweb] Larger examples?

exist. While the tutorials were a good introduction to the flavor of the system, the examples there are quite small. Thanks in advance for your help. Robert -- Robert Lamar PhD Student http://www.macs.hw.ac.uk/~rob/ ___ Logiweb mailing list Logiweb

Re: [Logiweb] Re: Larger examples?

Frederik, Frederik Eriksen wrote: Robert Lamar wrote: Having worked through the tutorials (which are well-written, in my opinion), I am now looking for other sources of information, guidance, and inspiration as I attempt to improve my working knowledge of Logiweb. I have found the Peano