|
From: | Kovács Zoltán |
Subject: | Re: [gnu-soc] GNU GSOC 2023 application |
Date: | Thu, 9 Feb 2023 09:06:49 +0100 |
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.
Dr. Zoltán Kovács, MSc
Institut Ausbildung
Private Pädagogische Hochschule der Diözese Linz
Private University of Education, Diocese Linz
Salesianumweg 3, 4020 Linz
Mail: zoltan.kovacs@ph-linz.at
Web: www.ph-linz.at
[Prev in Thread] | Current Thread | [Next in Thread] |