Revision as of 20:43, 1 February 2008 edit Andreas Kaufmann (talk \| contribs) Extended confirmed users, Pending changes reviewers 7,180 edits No edit summary ← Previous edit		Latest revision as of 23:54, 2 November 2021 edit undo JJMC89 bot III (talk \| contribs) Bots, Administrators 4,344,890 edits m Moving Category:Computer programming tools to Category:Programming tools per Wikipedia:Categories for discussion/Speedy
Line 2: [[Category:Formal methods\|Tools]] [[Category:~~Computer programming~~Programming tools]] [[Category:Mathematical software]]

Category:Formal methods tools: Difference between revisions