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) 

Prompt Científico

Comunidade de  matemática computacional e programação.

Voting for Prompt Científico

Do you want to support us?