Category:Formal methods tools: Difference between revisions

Content deleted Content added

Revision as of 19:01, 21 March 2007 edit Amcl (talk \| contribs) Rollbackers 3,543 edits re-categorisation per CFD using AWB ← Previous edit		Latest revision as of 23:54, 2 November 2021 edit undo JJMC89 bot III (talk \| contribs) Bots, Administrators 4,345,227 edits m Moving Category:Computer programming tools to Category:Programming tools per Wikipedia:Categories for discussion/Speedy
(2 intermediate revisions by 2 users not shown)
Line 2: [[Category:Formal methods\|Tools]] ~~[[Category:Development tools]]~~ [[Category:Programming tools]] [[Category:Mathematical software]]