Most linked-to pages

Showing below up to 50 results in range #101 to #150.

101. The Principia Machina/TPS/3.2 Record fields and regime (16 links)
102. Lean theorem prover/Explainers/What has to be trusted (16 links)
103. The Principia Machina/TPS/5.13 Permissions (15 links)
104. The Principia Machina/Agent/Inputs (15 links)
105. Hamilton's principle/Mathematics/The Weierstrass excess function (15 links)
106. Hamilton's principle/Mathematics/Abbreviated action: Maupertuis versus Hamilton (14 links)
107. Lean theorem prover/Foundations/Inductive types and recursors (14 links)
108. Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination (14 links)
109. On Physical Lines of Force/Part I/Prop. III (14 links)
110. Lean theorem prover/Explainers/What the axioms are (14 links)
111. The Principia Machina/TPS/4.1 The audit and its authority (14 links)
112. Hamilton's principle/Mathematics/The Legendre transform (14 links)
113. Lean theorem prover/Explainers/Automation and its limits (14 links)
114. On Physical Lines of Force/Part III/Prop. XIII (14 links)
115. Lean theorem prover/Applications/Principia Machina (14 links)
116. Hamilton's principle/Mathematics/Noether's second theorem (14 links)
117. The Principia Machina/TPS/2.3 The Translation Manifold (14 links)
118. Hamilton's principle/Mathematics/The first variation (14 links)
119. Lean theorem prover/Foundations/Definitional equality (14 links)
120. Hamilton's principle/Mathematics/Several dependent variables (14 links)
121. The Principia Machina/TPS/2.4 The Measure Set (14 links)
122. The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal (13 links)
123. Hamilton's principle/Applications/The Einstein-Hilbert action (13 links)
124. Lean theorem prover/System/Proof export and independent checkers (13 links)
125. Lean theorem prover/Foundations/The three axioms (13 links)
126. Lean theorem prover/Explainers/Propositions as types (13 links)
127. The Principia Machina/TPS/5.1 The three parts and the placement rule (13 links)
128. Hamilton's principle/Mathematics/Several independent variables (12 links)
129. The Principia Machina/Inputs/Environment modules (12 links)
130. The Principia Machina/TPS/5.11 The index of record (12 links)
131. The Principia Machina/TPS/6.2 Untrusted input and authorization (12 links)
132. Hamilton's principle/Mathematics/The Hamilton-Jacobi equation (12 links)
133. The Principia Machina/Tools/General reader (12 links)
134. Lean theorem prover/Explainers/Induction, as the machine sees it (12 links)
135. The Principia Machina/TPS/3.4 Inheritance under copy-forward (12 links)
136. Lean theorem prover/System/Metavariables and unification (12 links)
137. Hamilton's principle/Mathematics/Holonomic constraints (12 links)
138. Hamilton's principle/Mathematics/The Legendre condition (12 links)
139. Hamilton's principle/Mathematics/Lagrange multipliers (12 links)
140. The Principia Machina/Inputs/Register records (12 links)
141. The Principia Machina/Research Toolkit/Manual (12 links)
142. The Principia Machina/Agent/Research toolkit (12 links)
143. Lean theorem prover/System/The Lean kernel (12 links)
144. The Principia Machina/Tutorial/1 Before you start (12 links)
145. The Principia Machina/TPS/5.8 The collaboration page (12 links)
146. Lean theorem prover/System/The tactic framework (12 links)
147. Lean theorem prover/Explainers/Two kinds of equality (11 links)
148. The Principia Machina/Inputs/Top performers (11 links)
149. On Physical Lines of Force/Part I/Prop. I (11 links)
150. On Physical Lines of Force/Part II/Prop. XI (11 links)