Long pages

Showing below up to 50 results in range #151 to #200.

151. (hist) The Principia Machina/Tutorial/2 Write the Prime Kernel [15,421 bytes]
152. (hist) Lean theorem prover/System/Metaprogramming in Lean [15,380 bytes]
153. (hist) The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal [15,374 bytes]
154. (hist) The Principia Machina/Testing/Timeline [15,340 bytes]
155. (hist) Lean theorem prover/System/Type classes and instance resolution [15,086 bytes]
156. (hist) Lean theorem prover/Foundations/Propositional equality [15,067 bytes]
157. (hist) The Principia Machina/Testing/Findings [15,055 bytes]
158. (hist) Lean theorem prover/Foundations/Universes and Prop [15,044 bytes]
159. (hist) Lean theorem prover/System/Monads and do-notation [15,043 bytes]
160. (hist) Lean theorem prover/System/The compiler and runtime [15,000 bytes]
161. (hist) The Principia Machina/TPC-PY/gen units corpus.py [14,977 bytes]
162. (hist) The Principia Machina/Agent/Falcons [14,788 bytes]
163. (hist) The Principia Machina/Walk through/Falcons [14,732 bytes]
164. (hist) On Physical Lines of Force/Part I/The introductory discussion [14,700 bytes]
165. (hist) Lean theorem prover/System/Metavariables and unification [14,559 bytes]
166. (hist) Principia Machina/Terminology [14,534 bytes]
167. (hist) The Principia Machina/Agent/Bibliography [14,506 bytes]
168. (hist) The Principia Machina/TPS/6.4 Working a container [14,502 bytes]
169. (hist) The Principia Machina/TPC-PY/gen sponsor corpus.py [14,327 bytes]
170. (hist) Lean theorem prover/Foundations/Quotient types [14,285 bytes]
171. (hist) The Principia Machina/TPC-PY/run corpus.py [14,217 bytes]
172. (hist) The Principia Machina/Testing/M0 Outside AI and the sandbox [14,168 bytes]
173. (hist) The Principia Machina/TPC-PY/tpc digest.py [14,022 bytes]
174. (hist) Lean theorem prover/System/The tactic framework [13,970 bytes]
175. (hist) Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination [13,778 bytes]
176. (hist) The Principia Machina/TPC-PY/tpc cluster.py [13,743 bytes]
177. (hist) The Principia Machina/Testing/M3 TPX, the smallest server [13,696 bytes]
178. (hist) Lean theorem prover/Foundations/Classical logic from choice [13,669 bytes]
179. (hist) Lean theorem prover/System/Elaboration [13,625 bytes]
180. (hist) The Principia Machina/TPC-PY/gen yardstick corpus.py [13,559 bytes]
181. (hist) Lean theorem prover/Foundations/The three axioms [13,493 bytes]
182. (hist) The Principia Machina/TPS/5.15 Help sets, diagrams and the references page [13,386 bytes]
183. (hist) The Principia Machina/Agent/Top performers [13,357 bytes]
184. (hist) Lean theorem prover/History/Lean since 2023 [13,219 bytes]
185. (hist) The Principia Machina/Tutorial/5 Check the draft [13,199 bytes]
186. (hist) The Principia Machina/Inputs [13,188 bytes]
187. (hist) The Principia Machina/TPC-PY/gen cluster corpus.py [13,183 bytes]
188. (hist) The Principia Machina/TPS/5.18 The scorecard [13,144 bytes]
189. (hist) The Principia Machina/TPC-PY/gen fingerprint corpus.py [13,141 bytes]
190. (hist) Lean theorem prover/Foundations/Consistency and the metatheory [13,101 bytes]
191. (hist) The Principia Machina/Testing/M1 The register duties [12,993 bytes]
192. (hist) Lean theorem prover/Foundations/Dependent function types [12,932 bytes]
193. (hist) The Principia Machina/TPC-PY/diff lint.py [12,817 bytes]
194. (hist) The Principia Machina [12,756 bytes]
195. (hist) The Principia Machina/TPS/2.3 The Translation Manifold [12,720 bytes]
196. (hist) The Principia Machina/Tutorial/1 Before you start [12,645 bytes]
197. (hist) Lean theorem prover/System/Lake and Lean projects [12,520 bytes]
198. (hist) On Physical Lines of Force/Modern derivations/Faraday rotation today [12,461 bytes]
199. (hist) The Principia Machina/Inputs/Text and numbers [12,177 bytes]
200. (hist) The Principia Machina/Inputs/Translation Manifold [12,060 bytes]