Content deleted Content added
Jerryobject (talk | contribs) →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. |
|||
Line 91:
{{ML programming}}
{{Mathlogic-stub}}▼
[[Category:Logic in computer science]]
[[Category:Proof assistants]]
▲{{Mathlogic-stub}}
|