https://invarians.org/index.php?action=history&feed=atom&title=Template%3APrincipia_Machina_mapTemplate:Principia Machina map - Revision history2026-10-21T07:32:20ZRevision history for this page on the wikiMediaWiki 1.46.2https://invarians.org/index.php?title=Template:Principia_Machina_map&diff=6623&oldid=prevPMA Publisher: Published from the Principia Machina source2026-10-15T19:30:09Z<p>Published from the Principia Machina source</p>
<p><b>New page</b></p><div><includeonly>{{Section map<br />
| title = Principia Machina: map<br />
| label1 = Reading the program<br />
| links1 = [[Principia Machina/Lean transition|The move to Lean]]<br />[[Principia Machina/Progress/Status|Status]]<br />[[Principia Machina/Terminology|Terminology: the words of both versions]]<br />
| label2 = Lean itself<br />
| links2 = [[Lean theorem prover|Lean theorem prover]]<br />[[Lean theorem prover/Applications/Principia Machina|Principia Machina in Lean]]<br />
| label3 = Version 1<br />
| links3 = [[The Principia Machina|The Principia Machina]]<br />[[The Principia Machina/TPS|its specification]]<br />
}}</includeonly><noinclude>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.</noinclude></div>PMA Publisher