Branky
Discord ID: 647790037240512541
21 total messages. Viewing 100 per page.
Page 1/1
Hello guys, I am back after 2years. where is tay, beef and the asian thot? What is the current state of kraut?
@fuguer a french software for machine assisted proving of math theorems
@fuguer talked to some guy here years ago who was an expert
It is quite cool, name is a little weird, but what do you want, french person wrote it
@BasedChris what is baltid?
21 total messages. Viewing 100 per page.
Page 1/1
