• Indexed Information
  • Rank2,861
  • Users10
  • Last Indexed4 days, 1 hour ago
Channel Topic
Discussion of all computer science topics. See also #algorithms, #categorytheory, #logic, ##math, #pl, and #typetheory.
You must be authenticated in order to use the IRC Driven Live Chat gateway