See this repository's example subdirectory for demonstrations of how to use Formal. For usage information for each example, execute something like GCC gfortran 14-15 fpm test --compiler gfortran ...