There is a paper draft at https://github.com/FLIF-hub/FLIF-doc https://github.com/FLIF-hub/FLIF-doc, but most of the details still have to be written down (i.e.

There is a paper draft at https://github.com/FLIF-hub/FLIF-doc https://github.com/FLIF-hub/FLIF-doc, but most of the details still have to be written down (i.e. they're only in the code). Writing out the detailed spec is going to take some effort.