Budget: 100 EUR Deadline: 3 days
Good day!
Your link is unfortunately incorrect, however
A lot of experience working with mathematical logic in programming
my profile: https://github.com/yorunikakeru4 (in particular, an important point - with graphs)