Peter Vlasveld pushed to project branch master at Peter Vlasveld / logic2020

Peter Vlasveld
2024-01-14T17:47:09Z

Peter Vlasveld (8f3472de) at 14 Jan 17:47

Added premise parsing algorithm for premise construction