formalized-methods in future it will be a package for formalized methods for solving analytical problems at the moment it is just university project for semester work