A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
Questions about advice and nonuniformity
practical questions about doing research in theoretical computer science
Agda is a dependently-typed programming language and a proof assistant.
Theoretical questions about Artificial Intelligence
Algebraic topology is the study of objects under continuous deformation using tools from abstract algebra such as groups, fields , rings and algebras (a combination of a group and a ring). An example …
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
Questions about approximation algorithms.
Hardness of approximation, aka inapproximability.
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
Automated theorem proving is the proving of mathematical theorems by a computer program.