Pages with the most revisions

Showing below up to 50 results in range #701 to #750.

701. Noether's theorems/History/Hilbert and Klein (2 revisions)
702. Lean theorem prover/Explainers/Induction, as the machine sees it (2 revisions)
703. The Principia Machina/TPC-PY/diff score.py (2 revisions)
704. Lean theorem prover/Foundations/Inductive types and recursors (2 revisions)
705. The Principia Machina/TPC-PY/examples/spring mistakes gravity.json (2 revisions)
706. Lean theorem prover/System/The compiler and runtime (2 revisions)
707. Lean theorem prover/Applications/The equational theories project (2 revisions)
708. The Principia Machina/TPC-PY/tpc beta.py (2 revisions)
709. The Principia Machina/TPC-PY/tpc sponsor.py (2 revisions)
710. The Principia Machina/TPC-PY/vectors/fingerprint corpus.json (2 revisions)
711. The Principia Machina/TPC-PY/vectors/strike corpus.json (2 revisions)
712. Noether's theorems/Applications/Continuum mechanics (2 revisions)
713. The Principia Machina/TPC-PY/vectors/record corpus.json/2 (2 revisions)
714. Noether's theorems/First theorem/Energy, momentum and angular momentum (2 revisions)
715. Noether's theorems/History/Noether's position and the writing of the paper (2 revisions)
716. Noether's theorems/Second theorem/Fewer independent field equations than fields (2 revisions)
717. The Principia Machina/UWC/SPB/Register/Volume 100001 (2 revisions)
718. The Principia Machina/TPC-PY/diff cluster.php (2 revisions)
719. Lean theorem prover/Explainers/Tactics (2 revisions)
720. The Principia Machina/TPC-PY/diff sponsor.php (2 revisions)
721. Lean theorem prover/Foundations/Structural and well-founded recursion (2 revisions)
722. The Principia Machina/TPC-PY/examples/spring mistakes syntax.json (2 revisions)
723. Lean theorem prover/System/Lake and Lean projects (2 revisions)
724. The Principia Machina/TPC-PY/gen biblio unicode table.py (2 revisions)
725. Lean theorem prover/Applications/Software verification (2 revisions)
726. Principia Machina/Progress/Phase 3 (2 revisions)
727. Noether's theorems/Applications/Electromagnetism and charge conservation (2 revisions)
728. The Principia Machina/TPC-PY/vectors/record view corpus.json (2 revisions)
729. The Principia Machina/Generic Specification Guide (2 revisions)
730. Noether's theorems/First theorem/Invariance of the action, strict and up to a divergence (2 revisions)
731. Noether's theorems/History/The 1918 paper read in its own order (2 revisions)
732. The Principia Machina/UWC/SPZ/Control panel (2 revisions)
733. Noether's theorems/Second theorem/Groups depending on arbitrary functions (2 revisions)
734. The Principia Machina/TPC-PY/diff cluster.py (2 revisions)
735. Lean theorem prover/Explainers/Holes and goals (2 revisions)
736. The Principia Machina/TPC-PY/diff sponsor.py (2 revisions)
737. Lean theorem prover/Foundations/Definitional equality (2 revisions)
738. The Principia Machina/TPC-PY/examples/spring mistakes text.json (2 revisions)
739. Lean theorem prover/System/Proof export and independent checkers (2 revisions)
740. The Principia Machina/TPC-PY/gen canon corpus.py (2 revisions)
741. Lean theorem prover/Applications/Teaching with Lean (2 revisions)
742. The Principia Machina/TPC-PY/tpc challenge.py (2 revisions)
743. The Principia Machina/TPC-PY/vectors/units corpus.json (2 revisions)
744. Noether's theorems/Applications/General relativity and the Bianchi identity (2 revisions)
745. The Principia Machina/TPC-PY/vectors/settlement corpus.json (2 revisions)
746. Noether's theorems/First theorem/On-shell and off-shell (2 revisions)
747. Noether's theorems/History/The long neglect (2 revisions)
748. Noether's theorems/Second theorem/Proper and improper conservation laws (2 revisions)
749. The Principia Machina/TPC-PY/diff falcon.php (2 revisions)
750. Lean theorem prover/Explainers/Automation and its limits (2 revisions)