[Top][All Lists]

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

Contributing to GNU Aris

From: Saksham Attri
Subject: Contributing to GNU Aris
Date: Wed, 15 Mar 2023 03:25:13 +0530

I am Saksham Attri, a CS sophomore at BITS Pilani, Hyderabad Campus. I was looking through the GNU project list for GSoC'23 and came across Aris.

Last semester, I had a logic course where I had a two part mini-assignment for making
1. A simple tool for generating parse trees of propositional formulas and their truth evaluation among other things. ( github repo)
2. A simple tool for verifying whether a certain proof of a given sequent is valid or not. (github repo )

I really liked the assignment and was planning on extending the proof rules as well as adding a GUI so I was pleasantly surprised when I came across Aris.

GNU Aris is doing a lot of things I would love to help with. How do I proceed further ?


reply via email to

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