Revision as of 18:55, 17 May 2023 edit Frap (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 35,599 edits Add template ← Previous edit		Latest revision as of 07:10, 22 July 2023 edit undo Fgnievinski (talk \| contribs) Autopatrolled, Extended confirmed users 71,101 edits new key for Category:Computer programming: "D" using HotCat
Line 2: [[Category:Formal methods]] [[Category:Computer programming\|D]]

Category:Program derivation: Difference between revisions