Long pages

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

101. (hist) The Principia Machina/TPS/0.1 Front matter and change record [23,274 bytes]
102. (hist) The Principia Machina/TPC-PY/tpc identity.py [23,128 bytes]
103. (hist) Principia Machina/Progress/Log [23,007 bytes]
104. (hist) Lean theorem prover/Sources [22,934 bytes]
105. (hist) The Principia Machina/TPS/3.3 Record classes and schemas [22,894 bytes]
106. (hist) The Principia Machina/TFK template [22,893 bytes]
107. (hist) The Principia Machina/Inputs/Reliability score [22,835 bytes]
108. (hist) The Principia Machina/Inputs/Sponsoring an agent [22,749 bytes]
109. (hist) The Principia Machina/Tools/General reader [22,242 bytes]
110. (hist) Lean theorem prover/System/Decision procedures [22,086 bytes]
111. (hist) The Principia Machina/TPC-PY/tpc volunteer.py [21,862 bytes]
112. (hist) Principia Machina/Progress/Status [21,753 bytes]
113. (hist) The Principia Machina/TPC-PY/gen volunteer corpus.py [21,501 bytes]
114. (hist) Lean theorem prover [21,440 bytes]
115. (hist) The Principia Machina/Diagrams/C1 Kernel and register [21,421 bytes]
116. (hist) The Principia Machina/TPC-PY/tpc tests.py [21,289 bytes]
117. (hist) The Principia Machina/Inputs/Prime Kernel [20,993 bytes]
118. (hist) The Principia Machina/Tutorial/6 Fix refusals [20,820 bytes]
119. (hist) The Principia Machina/TPS/7.1 Non-goals [20,327 bytes]
120. (hist) Lean theorem prover/Notation [19,481 bytes]
121. (hist) Lean theorem prover/Foundations/Definitional equality [19,385 bytes]
122. (hist) The Principia Machina/TPS/5.4 PRB [19,331 bytes]
123. (hist) Lean theorem prover/Foundations/Structural and well-founded recursion [19,175 bytes]
124. (hist) The Principia Machina/TPS/5.1 The three parts and the placement rule [19,055 bytes]
125. (hist) Principia Machina/Progress/Phase 0 [18,392 bytes]
126. (hist) The Principia Machina/Agent/Inputs [18,128 bytes]
127. (hist) Hamilton's principle/Sources [18,078 bytes]
128. (hist) Lean theorem prover/Foundations/Terms, types and judgments [18,021 bytes]
129. (hist) The Principia Machina/Inputs/Register records [17,870 bytes]
130. (hist) Lean theorem prover/Foundations/Inductive types and recursors [17,852 bytes]
131. (hist) The Principia Machina/TPS/5.19 The top-performer cluster [17,787 bytes]
132. (hist) The Principia Machina/TPS/3.2 Record fields and regime [17,740 bytes]
133. (hist) The Principia Machina/TPC-PY/vectors/units corpus.json [17,670 bytes]
134. (hist) The Principia Machina/TPS/5.13 Permissions [17,426 bytes]
135. (hist) The Principia Machina/Research Toolkit [17,362 bytes]
136. (hist) The Principia Machina/TPC-PY/gen identity corpus.py [17,337 bytes]
137. (hist) The Principia Machina/Hub/Outside AI/M4 The client and the lock [17,167 bytes]
138. (hist) The Principia Machina/Testing/Step A, the deploys A1 and A2 [17,035 bytes]
139. (hist) Lean theorem prover/System/Syntax extension and hygienic macros [17,033 bytes]
140. (hist) The Principia Machina/TPC-PY/vectors/beta corpus.json [16,993 bytes]
141. (hist) The Principia Machina/TPC-PY/tpc sponsor.py [16,972 bytes]
142. (hist) The Principia Machina/Walk through/The top performers [16,749 bytes]
143. (hist) The Principia Machina/Walk through/Bibliography [16,490 bytes]
144. (hist) The Principia Machina/TPS/5.17 The canary programme [16,386 bytes]
145. (hist) The Principia Machina/TPC-PY/tpc units.py [16,338 bytes]
146. (hist) Hamilton's principle/Figure gallery [16,055 bytes]
147. (hist) Lean theorem prover/System/The Lean kernel [15,971 bytes]
148. (hist) Lean theorem prover/Chronology [15,873 bytes]
149. (hist) Lean theorem prover/System/Proof export and independent checkers [15,810 bytes]
150. (hist) The Principia Machina/Build chain/Volume 1 [15,462 bytes]