Related changes

Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.

Namespace:	Invert selection Associated namespace
Tag filter:	Invert selection
Page name:	Show changes to pages linked to the given page instead

List of abbreviations (help):

D: Edit made at Wikidata
r: Edit flagged by ORES
N: New page
m: Minor edit
b: Bot edit
(±123): Page byte size change
: Temporarily watched page

30 May 2025

diffhist Category theory 09:54 +33 Yesterday, all my dreams... talk contribs (→See also: categoricity for logical theories)
diffhist Computer programming 01:48 +11 Meters talk contribs (Undid revision 1292991799 by 27.34.67.53 (talk)) Tag: Undo
diffhist Computer programming 01:08 −11 27.34.67.53 talk (The picture in the picture is picture of picture) Tags: Reverted Visual edit Mobile edit Mobile web edit

29 May 2025

diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit

27 May 2025

diffhist Imperative programming 20:07 +3 FelisPater talk contribs (Fixed a typo) Tags: Mobile edit Mobile web edit

26 May 2025

diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
diffhist Subtyping 11:15 0 2a00:23c8:f506:3201:72b7:8b4f:6243:f1c5 talk (The whole point of coercive subtyping is to be explicit on the use of subtyping (via the coercion functions, as explained in the rest of the paragraph). This was likely a typo, but a very confusing one.)
diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added

25 May 2025

diffhist Cambridge University Press 03:45 −9 Nedrutland talk contribs (→Publications: "Easter Wings" et al.)

24 May 2025

diffhist m Calculus of constructions 17:38 −83 Jet Pilot talk contribs (Reverted edits by 102.208.96.70 (talk) to last version by AnomieBOT: nonconstructive edits) Tags: Rollback SWViewer [1.6]
diffhist Calculus of constructions 17:37 +83 102.208.96.70 talk (ABSTAA224679181.fuahad) Tags: Reverted Mobile edit Mobile web edit
diffhist m Pure type system 16:45 0 Gert7 talk contribs Tag: 2017 wikitext editor