Jump to content

Proposal talk:Formalization of knowledge and tensor search in teaching OS