WikiLeanRecent changes · Proposals · Flags · Stats · About

Recent changes

Latest annotation edits across all articles. Patrol here — open an article's history to revert.

Show: all · edit · revert · seed · pipeline · contribution

WhenArticleEditorKindCommentPatrol
2026-07-08 19:38 UTCRiesz representation theoremsystemeditpipeline refreshhistory
2026-07-08 19:38 UTCAlmagestsystemeditorphan refresh importhistory
2026-07-08 19:38 UTCInversive geometrysystemeditorphan refresh importhistory
2026-07-08 19:38 UTCPell numbersystemeditorphan refresh importhistory
2026-07-08 19:38 UTCRate of convergencesystemeditorphan refresh importhistory
2026-07-08 15:08 UTCAlgebraically closed fieldsystemeditorphan refresh importhistory
2026-07-08 15:08 UTCEuler anglessystemeditorphan refresh importhistory
2026-07-08 15:08 UTCHearing the shape of a drumsystemeditorphan refresh importhistory
2026-07-08 15:08 UTCHyperbolic geometrysystemeditorphan refresh importhistory
2026-07-08 15:08 UTCNonlinear programmingsystemeditorphan refresh importhistory
2026-07-08 15:08 UTCQuadratic sievesystemeditorphan refresh importhistory
2026-07-08 15:08 UTCRiesz representation theoremsystemeditorphan refresh importhistory
2026-07-08 15:08 UTCScalar multiplicationsystemeditorphan refresh importhistory
2026-07-08 15:08 UTCSecond-order logicsystemeditorphan refresh importhistory
2026-07-08 15:08 UTCType theorysystemeditorphan refresh importhistory
2026-07-03 09:17 UTCInterval (mathematics)WikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 09:12 UTCParabolaWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 09:07 UTCGeneralized hypergeometric functionWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 09:04 UTCIntuitionistic logicWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 09:01 UTCIsomorphismWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:58 UTCDivision (mathematics)WikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:56 UTCHodge star operatorWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:54 UTCNon-Euclidean geometryWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:52 UTCIsomorphism theoremsWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:49 UTCAdjoint representationWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:49 UTCGenus (mathematics)WikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:46 UTCHyperbolic functionsWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:45 UTCGeometric progressionWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:42 UTCSimpson's paradoxWikiLean Pipelinepipelineai-moderate:review:0ca7e81dhistory
2026-07-03 08:40 UTCSeparable spaceWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:36 UTCConditional expectationWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:34 UTCRiemannian manifoldWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:29 UTCSturm–Liouville theoryWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:27 UTCUniversal enveloping algebraWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:26 UTCChi-squared distributionWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:23 UTCStatistical significanceWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:22 UTCBorel–Weil–Bott theoremWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:22 UTCReflexive spaceWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:20 UTCMonodromyWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:17 UTCCharacterizations of the exponential functionWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:12 UTCCotangent spaceWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:08 UTCLocal ringWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:08 UTCLaplace operatorWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:02 UTCLattice (group)WikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 08:01 UTCNaive set theoryWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:58 UTCBasis (linear algebra)WikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:50 UTCElliptic integralWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:50 UTCSignal processingWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:48 UTCCovariant derivativeWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:46 UTCCompact operatorWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:44 UTCDiophantine approximationWikiLean Pipelinepipelineai-moderate:review:4c807940history
2026-07-03 07:21 UTCTopologyWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:21 UTCConditional probabilityWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:21 UTCEuler's theoremWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:21 UTCEuler's totient functionWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:21 UTCFermat's little theoremWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:20 UTCEuclidean vectorWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:20 UTCEuclidean algorithmWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 07:20 UTCChinese remainder theoremWikiLean Pipelinepipelinewp-update:stage0:9d9eef7ahistory
2026-07-03 06:00 UTCSimply typed lambda calculusWikiLean Pipelinepipelineai-create:c1178d3ehistory
2026-07-03 05:58 UTCCurry–Howard correspondenceWikiLean Pipelinepipelineai-create:c1178d3ehistory
2026-07-03 05:56 UTCSystem FWikiLean Pipelinepipelineai-create:c1178d3ehistory
2026-07-03 05:45 UTCPropositional calculusWikiLean Pipelinepipelineai-create:b02c9918history
2026-07-02 20:55 UTCHilbert's problemsWikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 20:55 UTCDifferentiable manifoldWikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 20:55 UTCDiffeomorphismWikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 20:55 UTCConjectureWikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 20:55 UTCBinomial distributionWikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 20:55 UTCAbstract algebraWikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 20:55 UTC7WikiLean Pipelinepipelinedecl-sweep:declsweep-1783024443history
2026-07-02 07:01 UTCHilbert's problemsWikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-02 07:01 UTCFirst-order logicWikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-02 07:01 UTCFields MedalWikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-02 07:00 UTCPoint (geometry)WikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-02 07:00 UTCKullback–Leibler divergenceWikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-02 07:00 UTCFractalWikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-02 07:00 UTCFormulaWikiLean Pipelinepipelinewp-update:stage0:007bb4b9history
2026-07-01 20:36 UTCBanach fixed-point theoremWikiLean Pipelinepipelineai-moderate:review:051c3604history
2026-07-01 09:24 UTCFinite groupWikiLean Pipelinepipelineai-moderate:review:00284541history
2026-07-01 07:22 UTCNormal distributionWikiLean Pipelinepipelineai-moderate:review:f72ba919history
2026-07-01 07:02 UTCProjective planeWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:02 UTCNumberWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:02 UTCTuring machineWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:02 UTCConway's Game of LifeWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:01 UTCTopological spaceWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:01 UTCRank–nullity theoremWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:01 UTCCoin flippingWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:01 UTCZ-transformWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:01 UTCTupleWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:00 UTCSchwarzian derivativeWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-07-01 07:00 UTCType I and type II errorsWikiLean Pipelinepipelinewp-update:stage0:a41955e2history
2026-06-30 07:36 UTCField extensionWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:32 UTCGalois theoryWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:30 UTCHistory of the function conceptWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:28 UTCKarnaugh mapWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:25 UTCCurl (mathematics)WikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:25 UTCCombinatoricsWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:18 UTCGödel's incompleteness theoremsWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:14 UTCCellular automatonWikiLean Pipelinepipelineai-moderate:review:77ac5726history
2026-06-30 07:10 UTCInvertible matrixWikiLean Pipelinepipelineai-moderate:review:77ac5726history