Revision as of 19:18, 29 February 2024 edit Jerryobject (talk \| contribs) Extended confirmed users 16,290 edits →References: WP:REFerence WP:CITation parameters: respaces, cut whitespace characters to standardize, aid work via small screens, reorders, adds, fills, update-standardizes. WP:NAVBOX add. ← Previous edit		Revision as of 19:11, 6 March 2024 edit undo Jlwoodwa (talk \| contribs) Autopatrolled, Administrators 106,406 edits m WP:STUBSPACING Next edit →
Line 91: {{ML programming}} {{Mathlogic-stub}}▼ [[Category:Logic in computer science]] [[Category:Proof assistants]] ▲{{Mathlogic-stub}}

Logic for Computable Functions: Difference between revisions