/cht/ – chat


a237b – ``chat''a237b4adbdbd4fa29abf1f646fdcf40a

@685d68bca73a4d028981fa214f05f065 Anonymous 2015-03-13 22:54:05
test message
49113 replies omitted. Click here to view the first page.
@850e8d0d71a640388ab6fda7c0ef6f4d fulmar 2021-09-23 14:54:00
Хочу вкатиться в автоматическое доказательство теорем, но не знаю как подступиться.
@5db8a237d97647e18a69eea74a755d9d fulmar 2021-09-23 14:54:49
Что-то всё не нравится.
@201216aa8e3f47a895ca0d2ed2db40ba fulmar 2021-09-23 14:55:16
В смысле, подходы существующие.