HaLLMos - Feedback on mathematical proofs, in seconds.
13 views
Skip to first unread message
Joao Marcos
Jun 7, 2026, 12:39:46 AMJun 7
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Esta ferramenta tem o potencial de ajudar quem legitimamente esteja
buscando por um tutor para *aprender a demonstrar* coisas:
https://hallmos.com/
(Curiosamente, ele entende português, mas ---ao menos no meu
navegador--- dá o feedback em inglês.)
Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
buscando por um tutor para *aprender a demonstrar* coisas:
https://hallmos.com/
(Curiosamente, ele entende português, mas ---ao menos no meu
navegador--- dá o feedback em inglês.)
Joao Marcos
--
https://sites.google.com/site/sequiturquodlibet/
Reply all
Reply to author
Forward
0 new messages