Re: [gnu-soc] GNU GSOC 2023 application

[Jose E. Marchesi]

Hi Kovács.

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

However,

> - 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.