@fmfi-uk-1-ain-412/formalization-checker (npm): This project was bootstrapped with [Create React App](https://github.com/facebook/create-react-app).
Keywords: first-order-logic|formalization