[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [gnu-soc] GNU GSOC 2023 application

From: Jose E. Marchesi
Subject: Re: [gnu-soc] GNU GSOC 2023 application
Date: Wed, 08 Feb 2023 11:43:12 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Hi Kovács.

I have added the ideas for aris and xaos to the page.


> - Short description of the program: GNU Aris is a logical proof program
> that supports propositional and predicate logic, as well as Boolean algebra
> and arithmetical logic, in the form of abstract sequences.

I think that description is a bit lacking for someone who doesn't know
what a "logical proof program" is.

Can you come with a short description that would give an idea of what
the program actually does to people not familiar with the domain?  That
will help students.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]