Template:Lean theorem prover map

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.