Template talk:Comp-sci-theory-stub