Shen

Yes; it should be (p -> ~p) -> ~p. I'll fix the other typos too. thx Mark On Sunday, 7

Just got back. This is easy to fix. Mail tomorrow. Mark On Friday, 5 September 2025 at 21:20:33 UTC+1

Woo wrote What would be THORN's reaction to "I am happy that I'm not happy," and

Not ignorant at all. None is the answer, can't speak for Scheme. Mark On Wednesday, 3 September

Based on taking the path of the least resistance, I fed ChatGPT the paper I wrote with it. It seems

This exchange which resulted in a paper cited on this group ccupies 800+ pages of transcript. I'm

words fali me On Monday, August 11, 2025 at 12:08:32 PM UTC-7 dr.mt...@gmail.com wrote: Said

Such is the catchy title of a new paper; but there's a lot there to interest Shenturions. THORN,

No problems; the download and support pages for LPC have been updated. Mark On Saturday, 2 August

I've fixed a bug in Shen/tk involving relative and absolute pathnames which was triggered by the

That confirms my suspicions. It looks like it also works if you put both inside a package. I wrote a

If you can run this stuff under Shen/Scheme, do so. You need to load stlib into that port though.

The limits of inference for this architecture wo major additions were reached in THORN 19. But one

mapf is stlib. That sounds as if you don't have the standard library loaded. THORN (Theorem

Just to add, if you've been using the free version of chatgpt, I'd highly recommend trying

I've updated the documentation on THORN 19 and on that page is a link to a short paper in

Anyway here is machine translation in the small a la Tarski. I give the semantics for a fragment of

Not yet. I'll look into it. M. On Saturday, 21 June 2025 at 15:08:56 UTC+1 Bruno Deferrari wrote:

That wraps it up. Here is a summary. Problem Time (sec) Inferences MegaLIPS Steps in Proof

So the revolution the article refers to is going to require a revolution in the way these proofs are

THORN 16 evolved from THORN 15 while working on program verification. Equality was added late in the

One rather radical conclusion I'm coming to is that incorporating types into LKL not only makes

You can always use whatever debugger is in the backend of your Shen implementation. For the Chez

Your number of visitors increased by 319% compared with last week. You had a total of 8320 page views

Anybody here got an opinion on NYXT ? In what way is it superior to Firefox, Chrome, Edge etc? Mark

Most OS have their warts and one particular annoying one about Windows is their failure to debug

THORN is restored and improved. Look to the Learn page. Specifically timout given as an option and

The update is proceeding from now. Mark On Friday, 30 May 2025 at 20:29:23 UTC+1 dr.mt...@gmail.com

A year ago I experimented with the idea of embedding ChatGPT into the Shen Learn page. But honestly

It's a huge site and will grow over the coming weeks as more and more of my work becomes readable