Content deleted Content added
m moved Talk:LCF theorem prover to Talk:LCF (theorem prover): Naming conventions. |
m Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Computer science}}, {{Maths rating}}. Remove 1 deprecated parameter: field. Tag: |
||
| (4 intermediate revisions by 3 users not shown) | |||
Line 1:
{{WikiProject banner shell|class=Stub|
{{WikiProject Computer science|auto=inherit}}
{{WikiProject Mathematics|priority=Low}}
}}
| |||