Comunidade de matemática computacional e programação.
Somos uma comunidade focada em estudos sobre: • Homotopy Type Theory • Lambda-calculus • Topologia algébrica/geral • Filosofia • Hegelianismo • Programação/ linguagens funcionais • Haskell
Obs: Estudamos várias outras coisas também, mas esses são os principais.
Nossa comunidade não tem pessoas arrogantes, então não precisa ter medo de pedir ajuda. Iremos ajudar no nosso possível. Se quiser estudar com a gente, você é bem-vindo(a)
0
0 nhận xét
Chỉ người dùng đã đăng nhập mới có thể đăng nhận xét. Mọi nhận xét đều được quản lí bởi quản trị viên Top.gg. Vui lòng xem qua các quy tắc của chúng tôi trước khi đăng nhận xét.
5 sao
0
4 sao
0
3 sao
0
2 sao
0
1 sao
0
Chưa có nhận xét nào!