Short pages

Showing below up to 50 results in range #551 to #600.

551. (hist) The Principia Machina/TPC-PY/tpc beta.py [9,151 bytes]
552. (hist) The Principia Machina/Agent/Reliability [9,235 bytes]
553. (hist) Lean theorem prover/History/The Liquid Tensor Experiment [9,242 bytes]
554. (hist) The Principia Machina/Tutorial/7 Inspect, submit and declare [9,295 bytes]
555. (hist) The Principia Machina/UWC/SPZ/Register/Volume 1 [9,359 bytes]
556. (hist) Lean theorem prover/Explainers/Functions that always finish [9,359 bytes]
557. (hist) The Principia Machina/Diagrams/Falcon cycle [9,395 bytes]
558. (hist) Hamilton's principle/Notation [9,437 bytes]
559. (hist) Hamilton's principle [9,446 bytes]
560. (hist) The Principia Machina/TPC-PY/diff probe.py [9,471 bytes]
561. (hist) Noether's theorems/Sources [9,494 bytes]
562. (hist) Hamilton's principle/History/Hamilton 1834 and 1835 [9,523 bytes]
563. (hist) Lean theorem prover/Explainers/Programs and proofs in one language [9,550 bytes]
564. (hist) Hamilton's principle/Mathematics/Noether's second theorem [9,557 bytes]
565. (hist) The Principia Machina/Diagrams/Top performers cycle [9,585 bytes]
566. (hist) Hamilton's principle/Mathematics/The Jacobi condition and conjugate points [9,592 bytes]
567. (hist) Lean theorem prover/Explainers/Two kinds of equality [9,622 bytes]
568. (hist) Lean theorem prover/Explainers/What the axioms are [9,647 bytes]
569. (hist) Hamilton's principle/Applications/The Feynman path integral [9,664 bytes]
570. (hist) The Principia Machina/TPS [9,674 bytes]
571. (hist) On Physical Lines of Force/Introduction [9,785 bytes]
572. (hist) The Principia Machina/Agent/Research toolkit [9,873 bytes]
573. (hist) The Principia Machina/TPS/5.5 The new-container flow [9,956 bytes]
574. (hist) Lean theorem prover/History/Lean 1 to Lean 3 [9,972 bytes]
575. (hist) Hamilton's principle/Applications/The Einstein-Hilbert action [9,973 bytes]
576. (hist) Lean theorem prover/Applications/Research mathematics [10,019 bytes]
577. (hist) The Principia Machina/Inputs/Declarations [10,067 bytes]
578. (hist) Lean theorem prover/Applications/Software verification [10,138 bytes]
579. (hist) Lean theorem prover/History/The Calculus of Constructions [10,164 bytes]
580. (hist) Principia Machina/Progress/Phase 1 [10,203 bytes]
581. (hist) Lean theorem prover/Explainers/When Lean says no [10,211 bytes]
582. (hist) On Physical Lines of Force/Part IV/Why magnetism must be rotatory [10,358 bytes]
583. (hist) The Principia Machina/TPC-PY/gen beta corpus.py [10,360 bytes]
584. (hist) Hamilton's principle/Glossary [10,377 bytes]
585. (hist) Lean theorem prover/History/LCF and the tactic idea [10,418 bytes]
586. (hist) The Principia Machina/Inputs/New container form [10,482 bytes]
587. (hist) The Principia Machina/Inputs/Environment modules [10,522 bytes]
588. (hist) Lean theorem prover/Applications/Principia Machina [10,570 bytes]
589. (hist) The Principia Machina/Testing/M2 The calculator from the specification [10,573 bytes]
590. (hist) Lean theorem prover/Explainers/What has to be trusted [10,575 bytes]
591. (hist) On Physical Lines of Force/Modern derivations/Gauss's law for electricity [10,590 bytes]
592. (hist) The Principia Machina/TPC-PY/gen conditions corpus.py [10,639 bytes]
593. (hist) Lean theorem prover/Explainers/Automation and its limits [10,681 bytes]
594. (hist) Lean theorem prover/Explainers/Why there is no type of all types [10,696 bytes]
595. (hist) Lean theorem prover/Explainers/What a proof assistant does [10,716 bytes]
596. (hist) The Principia Machina/TPS/5.6 Certificate, declarations and the build chain [10,730 bytes]
597. (hist) Lean theorem prover/History/Martin-Löf type theory [10,733 bytes]
598. (hist) The Principia Machina/TPS/2.5 Digests and the digest gate [10,735 bytes]
599. (hist) The Principia Machina/Inputs/The calculator [10,743 bytes]
600. (hist) On Physical Lines of Force/Modern derivations/No magnetic monopoles [10,776 bytes]