https://invarians.org/index.php?action=history&feed=atom&title=Template%3ALean_theorem_prover_map 2026-10-21T09:17:04Z Revision history for this page on the wiki MediaWiki 1.46.2 https://invarians.org/index.php?title=Template:Lean_theorem_prover_map&diff=6622&oldid=prev 2026-10-15T19:30:09Z

<p>Published from the Principia Machina source</p> <p><b>New page</b></p><div>&lt;includeonly&gt;{{Section map<br /> | title = Lean theorem prover: map<br /> | label1 = Reading the edition<br /> | links1 = [[Lean theorem prover#Three levels of reading|Three levels of reading]]&lt;br /&gt;[[Lean theorem prover/Glossary|Glossary]]&lt;br /&gt;[[Lean theorem prover/Notation|Notation]]&lt;br /&gt;[[Lean theorem prover/Chronology|Chronology]]<br /> | label2 = Reading by level<br /> | links2 = [[Lean theorem prover/Explainers/What a proof assistant does|Start here: What a proof assistant does]]&lt;br /&gt;[[Lean theorem prover/Foundations/Terms, types and judgments|The type theory: Terms, types and judgments]]&lt;br /&gt;[[Lean theorem prover/System/Elaboration|How Lean works: Elaboration]]&lt;br /&gt;[[Lean theorem prover/History/Automath|The history: Automath]]&lt;br /&gt;[[Lean theorem prover/Applications/Research mathematics|The applications: Research mathematics]]<br /> | label3 = Sources<br /> | links3 = [[Lean theorem prover/Sources|Sources]]&lt;br /&gt;[[Lean theorem prover/Bibliography|Bibliography]]&lt;br /&gt;[[Lean theorem prover/Further reading|Further reading]]<br /> | label4 = Related<br /> | links4 = [[Principia Machina/Lean transition|The move to Lean]]<br /> }}&lt;/includeonly&gt;&lt;noinclude&gt;The navigation panel of the Lean theorem prover edition, carried by every page of the edition, which is one walk in one reading order. Its frame is [[Template:Section map]]. Published from the Principia Machina source; an edit made here is overwritten.&lt;/noinclude&gt;</div>

PMA Publisher