Oldest pages

Showing below up to 50 results in range #751 to #800.

751. Lean theorem prover/Explainers/Holes and goals (19:34, 15 October 2026)
752. Lean theorem prover/Explainers/Automation and its limits (19:34, 15 October 2026)
753. Lean theorem prover/Explainers/When Lean says no (19:34, 15 October 2026)
754. Lean theorem prover/Explainers/Computation inside proofs (19:34, 15 October 2026)
755. Lean theorem prover/Explainers/The small trusted core (19:34, 15 October 2026)
756. Lean theorem prover/Explainers/What has to be trusted (19:34, 15 October 2026)
757. Lean theorem prover/Explainers/Checking a proof again later (19:34, 15 October 2026)
758. Lean theorem prover/Explainers/Stating the right thing (19:34, 15 October 2026)
759. Lean theorem prover/Explainers/Programs and proofs in one language (19:34, 15 October 2026)
760. Lean theorem prover/Explainers/A library of mathematics (19:34, 15 October 2026)
761. Lean theorem prover/Explainers/Lean and physics (19:34, 15 October 2026)
762. Lean theorem prover/Foundations/Terms, types and judgments (19:34, 15 October 2026)
763. Lean theorem prover/Foundations/Dependent function types (19:34, 15 October 2026)
764. Lean theorem prover/Foundations/Universes and Prop (19:34, 15 October 2026)
765. Lean theorem prover/Foundations/Inductive types and recursors (19:34, 15 October 2026)
766. Lean theorem prover/Foundations/Structural and well-founded recursion (19:34, 15 October 2026)
767. Lean theorem prover/Foundations/Definitional equality (19:34, 15 October 2026)
768. Lean theorem prover/Foundations/Propositional equality (19:34, 15 October 2026)
769. Lean theorem prover/Foundations/Quotient types (19:34, 15 October 2026)
770. Lean theorem prover/Foundations/The three axioms (19:34, 15 October 2026)
771. Lean theorem prover/Foundations/Classical logic from choice (19:34, 15 October 2026)
772. Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination (19:35, 15 October 2026)
773. Lean theorem prover/Foundations/Consistency and the metatheory (19:35, 15 October 2026)
774. Lean theorem prover/System/Elaboration (19:35, 15 October 2026)
775. Lean theorem prover/System/The Lean kernel (19:35, 15 October 2026)
776. Lean theorem prover/System/Metavariables and unification (19:35, 15 October 2026)
777. Lean theorem prover/System/Type classes and instance resolution (19:35, 15 October 2026)
778. Lean theorem prover/System/The tactic framework (19:35, 15 October 2026)
779. Lean theorem prover/System/Decision procedures (19:35, 15 October 2026)
780. Lean theorem prover/System/Syntax extension and hygienic macros (19:35, 15 October 2026)
781. Lean theorem prover/System/Metaprogramming in Lean (19:35, 15 October 2026)
782. Lean theorem prover/System/The compiler and runtime (19:35, 15 October 2026)
783. Lean theorem prover/System/Lake and Lean projects (19:35, 15 October 2026)
784. Lean theorem prover/System/Proof export and independent checkers (19:35, 15 October 2026)
785. Lean theorem prover/System/Monads and do-notation (19:35, 15 October 2026)
786. Lean theorem prover/History/Automath (19:35, 15 October 2026)
787. Lean theorem prover/History/LCF and the tactic idea (19:35, 15 October 2026)
788. Lean theorem prover/History/Martin-Löf type theory (19:35, 15 October 2026)
789. Lean theorem prover/History/The Calculus of Constructions (19:35, 15 October 2026)
790. Lean theorem prover/History/Lean 1 to Lean 3 (19:35, 15 October 2026)
791. Lean theorem prover/History/Lean 4 (19:35, 15 October 2026)
792. Lean theorem prover/History/Mathlib and its community (19:35, 15 October 2026)
793. Lean theorem prover/History/The Liquid Tensor Experiment (19:35, 15 October 2026)
794. Lean theorem prover/History/Lean since 2023 (19:35, 15 October 2026)
795. Lean theorem prover/Applications/Research mathematics (19:35, 15 October 2026)
796. Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture (19:35, 15 October 2026)
797. Lean theorem prover/Applications/The Fermat's Last Theorem project (19:35, 15 October 2026)
798. Lean theorem prover/Applications/The equational theories project (19:35, 15 October 2026)
799. Lean theorem prover/Applications/Software verification (19:35, 15 October 2026)
800. Lean theorem prover/Applications/Teaching with Lean (19:35, 15 October 2026)