Pages with the most revisions

Showing below up to 50 results in range #601 to #650.

601. The Principia Machina/TPC-PY/diff sponsor.php (2 revisions)
602. Lean theorem prover/Foundations/Structural and well-founded recursion (2 revisions)
603. The Principia Machina/TPC-PY/examples/spring mistakes syntax.json (2 revisions)
604. Lean theorem prover/System/The compiler and runtime (2 revisions)
605. Lean theorem prover/Applications/Software verification (2 revisions)
606. Principia Machina/Progress/Phase 3 (2 revisions)
607. Noether's theorems/Applications/Electromagnetism and charge conservation (2 revisions)
608. The Principia Machina/TPC-PY/vectors/record view corpus.json (2 revisions)
609. The Principia Machina/Generic Specification Guide (2 revisions)
610. Noether's theorems/First theorem/Invariance of the action, strict and up to a divergence (2 revisions)
611. Noether's theorems/History/The 1918 paper read in its own order (2 revisions)
612. The Principia Machina/UWC/SPZ/Control panel (2 revisions)
613. Noether's theorems/Second theorem/Groups depending on arbitrary functions (2 revisions)
614. The Principia Machina/TPC-PY/diff cluster.py (2 revisions)
615. Lean theorem prover/Explainers/Holes and goals (2 revisions)
616. The Principia Machina/TPC-PY/diff sponsor.py (2 revisions)
617. Lean theorem prover/Foundations/Definitional equality (2 revisions)
618. The Principia Machina/TPC-PY/examples/spring mistakes text.json (2 revisions)
619. Lean theorem prover/System/Lake and Lean projects (2 revisions)
620. The Principia Machina/TPC-PY/gen biblio unicode table.py (2 revisions)
621. Lean theorem prover/Applications/Teaching with Lean (2 revisions)
622. The Principia Machina/TPC-PY/tpc challenge.py (2 revisions)
623. The Principia Machina/TPC-PY/vectors/units corpus.json (2 revisions)
624. Noether's theorems/Applications/General relativity and the Bianchi identity (2 revisions)
625. The Principia Machina/TPC-PY/vectors/settlement corpus.json (2 revisions)
626. Noether's theorems/First theorem/On-shell and off-shell (2 revisions)
627. Noether's theorems/History/The long neglect (2 revisions)
628. Noether's theorems/Second theorem/Proper and improper conservation laws (2 revisions)
629. The Principia Machina/TPC-PY/diff falcon.php (2 revisions)
630. Lean theorem prover/Explainers/Automation and its limits (2 revisions)
631. The Principia Machina/TPC-PY/diff volunteer.php (2 revisions)
632. Lean theorem prover/Foundations/Propositional equality (2 revisions)
633. The Principia Machina/TPC-PY/examples/spring mistakes tms.json (2 revisions)
634. Lean theorem prover/System/Proof export and independent checkers (2 revisions)
635. The Principia Machina/TPC-PY/gen canon corpus.py (2 revisions)
636. Lean theorem prover/Applications/Machine learning and theorem proving (2 revisions)
637. The Principia Machina/TPC-PY/tpc cluster.py (2 revisions)
638. The Principia Machina/TPC-PY/vectors/hunk corpus.json (2 revisions)
639. The Principia Machina/TPC-PY/vectors/volunteer corpus.json (2 revisions)
640. Noether's theorems/Applications/General relativity and the energy question (2 revisions)
641. The Principia Machina/TPC-PY tools/verify tpc py.py (2 revisions)
642. The Principia Machina/UWC/SPR/Control panel (2 revisions)
643. Noether's theorems/First theorem/One-parameter groups and their generators (2 revisions)
644. Noether's theorems/History/The precursors (2 revisions)
645. Noether's theorems/Second theorem/The Noether identities (2 revisions)
646. The Principia Machina/UWC/SPB/Draft (2 revisions)
647. Lean theorem prover/Explainers/When Lean says no (2 revisions)
648. The Principia Machina/TPC-PY/diff volunteer.py (2 revisions)
649. Lean theorem prover/Foundations/Quotient types (2 revisions)
650. The Principia Machina/TPC-PY/examples/spring mistakes tpk.json (2 revisions)