Nanopublishing in Pixel Journal
This is just a fictitious page for testing.
The Pixel journal accepts submissions of formalization papers using the super pattern.
Start a new submission at the journal website.
Formalizations
You have these nanopublications that match the journal's requirements: