Template:Principia Machina map

The navigation panel of Principia Machina, the Lean 4 version of The Principia Machina, carried by every page of its own: the move to Lean, the terminology and the progress pages. Its last row links version 1. Its frame is Template:Section map. Published from the Principia Machina source; an edit made here is overwritten.