Pages with the most revisions

Showing below up to 50 results in range #651 to #700.

651. Noether's theorems/Mathematics/Poisson brackets and the generator identity (2 revisions)
652. The Principia Machina/TPC-PY/crosspy.py (2 revisions)
653. Lean theorem prover/Explainers/What the axioms are (2 revisions)
654. The Principia Machina/TPC-PY/diff lint.py (2 revisions)
655. Lean theorem prover/Explainers/Lean and physics (2 revisions)
656. The Principia Machina/TPC-PY/examples/spring mistakes checks.json (2 revisions)
657. Lean theorem prover/System/The tactic framework (2 revisions)
658. The Principia Machina/TPC-PY/examples/spring succ k3.json (2 revisions)
659. Lean theorem prover/History/Lean since 2023 (2 revisions)
660. The Principia Machina/TPC-PY/hunk inputs/lr7 request/tpm tps thread request 0 1 9.txt (2 revisions)
661. The Principia Machina/TPC-PY/tpc lint.py (2 revisions)
662. The Principia Machina/TPC-PY/vectors/cluster corpus.json (2 revisions)
663. The Principia Machina/TPC-PY/vectors/sponsor corpus.json (2 revisions)
664. The Principia Machina/TPC-PY/tpc record.py (2 revisions)
665. Noether's theorems/Mathematics/The Belinfante-Rosenfeld improvement (2 revisions)
666. The Principia Machina/TPC-PY/diff beta.php (2 revisions)
667. Lean theorem prover/Explainers/Two kinds of equality (2 revisions)
668. Lean theorem prover/Foundations/Terms, types and judgments (2 revisions)
669. The Principia Machina/TPC-PY/examples/spring mistakes final.json (2 revisions)
670. Lean theorem prover/System/Decision procedures (2 revisions)
671. The Principia Machina/TPC-PY/examples/spring succ reordered.json (2 revisions)
672. Lean theorem prover/Applications/Research mathematics (2 revisions)
673. The Principia Machina/TPC-PY/hunk inputs/wiki batch 2026-09-25.json (2 revisions)
674. The Principia Machina/TPC-PY/vectors/digest corpus.json (2 revisions)
675. The Principia Machina/TPC-PY/vectors/conditions corpus.json (2 revisions)
676. Noether's theorems/History/Bessel-Hagen and the first uses (2 revisions)
677. Noether's theorems/Mathematics/The Ward-Takahashi identity (2 revisions)
678. The Principia Machina/TPC-PY/diff beta.py (2 revisions)
679. Lean theorem prover/Explainers/Functions that always finish (2 revisions)
680. Lean theorem prover/Foundations/Dependent function types (2 revisions)
681. The Principia Machina/TPC-PY/examples/spring mistakes form boundary.json (2 revisions)
682. Lean theorem prover/System/Syntax extension and hygienic macros (2 revisions)
683. The Principia Machina/TPC-PY/examples/spring track draft.json (2 revisions)
684. Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture (2 revisions)
685. The Principia Machina/TPC-PY/params fixture.py (2 revisions)
686. The Principia Machina/TPC-PY/vectors/sr8 order corpus.json (2 revisions)
687. Noether's theorems/History/Gottingen and the energy problem (2 revisions)
688. Noether's theorems/Mathematics/The symplectic form of the theorem and the moment map (2 revisions)
689. The Principia Machina/TPC-PY/diff biblio.php (2 revisions)
690. Lean theorem prover/Explainers/Building things from constructors (2 revisions)
691. The Principia Machina/TPC-PY/diff score.php (2 revisions)
692. Lean theorem prover/Foundations/Universes and Prop (2 revisions)
693. The Principia Machina/TPC-PY/examples/spring mistakes form law.json (2 revisions)
694. Lean theorem prover/System/Metaprogramming in Lean (2 revisions)
695. Lean theorem prover/Applications/The Fermat's Last Theorem project (2 revisions)
696. The Principia Machina/TPC-PY/tpc score.py (2 revisions)
697. The Principia Machina/TPC-PY/vectors/sr9 corpus.json (2 revisions)
698. Noether's theorems/Applications/Conserved quantities in point mechanics (2 revisions)
699. The Principia Machina/TPC-PY/vectors/record corpus.json/1 (2 revisions)
700. Noether's theorems/First theorem/Centre-of-mass motion and electric charge (2 revisions)