Long pages

Showing below up to 50 results in range #201 to #250.

(hist) The Principia Machina/Testing/M4 PRB, the smallest client [11,979 bytes]
(hist) The Principia Machina/TPC-PY/diff score.py [11,968 bytes]
(hist) The Principia Machina/TPC-PY tools/verify tpc py.py [11,946 bytes]
(hist) The Principia Machina/Guide/11 Running an outside AI [11,885 bytes]
(hist) The Principia Machina/TPS/Contents [11,701 bytes]
(hist) The Principia Machina/Testing/Obligations [11,634 bytes]
(hist) On Physical Lines of Force/Modern derivations/The vector potential [11,423 bytes]
(hist) On Physical Lines of Force/Modern derivations/The constitutive relations [11,330 bytes]
(hist) On Physical Lines of Force/Modern derivations/The Maxwell stress tensor [11,329 bytes]
(hist) Lean theorem prover/History/Automath [11,158 bytes]
(hist) On Physical Lines of Force/Modern derivations/The Lorentz force [11,117 bytes]
(hist) The Principia Machina/Agent/Tools [11,070 bytes]
(hist) The Principia Machina/Testing/M5 Certification [11,045 bytes]
(hist) Lean theorem prover/Applications/Machine learning and theorem proving [11,040 bytes]
(hist) The Principia Machina/TPS/4.4 The strike rule [11,013 bytes]
(hist) On Physical Lines of Force/Modern derivations/From components to vectors [10,916 bytes]
(hist) On Physical Lines of Force/Modern derivations/No magnetic monopoles [10,776 bytes]
(hist) The Principia Machina/Inputs/The calculator [10,743 bytes]
(hist) The Principia Machina/TPS/2.5 Digests and the digest gate [10,735 bytes]
(hist) Lean theorem prover/History/Martin-Löf type theory [10,733 bytes]
(hist) The Principia Machina/TPS/5.6 Certificate, declarations and the build chain [10,730 bytes]
(hist) Lean theorem prover/Explainers/What a proof assistant does [10,716 bytes]
(hist) Lean theorem prover/Explainers/Why there is no type of all types [10,696 bytes]
(hist) Lean theorem prover/Explainers/Automation and its limits [10,681 bytes]
(hist) The Principia Machina/TPC-PY/gen conditions corpus.py [10,639 bytes]
(hist) On Physical Lines of Force/Modern derivations/Gauss's law for electricity [10,590 bytes]
(hist) Lean theorem prover/Explainers/What has to be trusted [10,575 bytes]
(hist) The Principia Machina/Testing/M2 The calculator from the specification [10,573 bytes]
(hist) Lean theorem prover/Applications/Principia Machina [10,570 bytes]
(hist) The Principia Machina/Inputs/Environment modules [10,522 bytes]
(hist) The Principia Machina/Inputs/New container form [10,482 bytes]
(hist) Lean theorem prover/History/LCF and the tactic idea [10,418 bytes]
(hist) Hamilton's principle/Glossary [10,377 bytes]
(hist) The Principia Machina/TPC-PY/gen beta corpus.py [10,360 bytes]
(hist) On Physical Lines of Force/Part IV/Why magnetism must be rotatory [10,358 bytes]
(hist) Lean theorem prover/Explainers/When Lean says no [10,211 bytes]
(hist) Principia Machina/Progress/Phase 1 [10,203 bytes]
(hist) Lean theorem prover/History/The Calculus of Constructions [10,164 bytes]
(hist) Lean theorem prover/Applications/Software verification [10,138 bytes]
(hist) The Principia Machina/Inputs/Declarations [10,067 bytes]
(hist) Lean theorem prover/Applications/Research mathematics [10,019 bytes]
(hist) Hamilton's principle/Applications/The Einstein-Hilbert action [9,973 bytes]
(hist) Lean theorem prover/History/Lean 1 to Lean 3 [9,972 bytes]
(hist) The Principia Machina/TPS/5.5 The new-container flow [9,956 bytes]
(hist) The Principia Machina/Agent/Research toolkit [9,873 bytes]
(hist) On Physical Lines of Force/Introduction [9,785 bytes]
(hist) The Principia Machina/TPS [9,674 bytes]
(hist) Hamilton's principle/Applications/The Feynman path integral [9,664 bytes]
(hist) Lean theorem prover/Explainers/What the axioms are [9,647 bytes]
(hist) Lean theorem prover/Explainers/Two kinds of equality [9,622 bytes]