Hello,
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 ?
Regards
saksham