If interested, place a document in my portfolio as part of my work in the area. It sure is going to interest you.
Hi, I can help you I know very well the subject, my master's thesis on that subject, Develop a system for the visualization and generation of logical-mathematical demonstrations using the natural derivation method according to the Gentzen -Fitch scheme. I have a degree in mathematics and I am an expert in the area.
Contact me!