Alexandre Rademaker

icon indicating a website link http://arademaker.github.com icon indicating an email [email protected]

icon company IBM Research and EMAp/FGV icon location Rio de Janeiro icon location Researcher in Logic, Computational Semantics, NLU and KRR.

Results 172 issues of Alexandre Rademaker

translation didn't work

After all the instalation steps: ``` % lake exe translate "There are infinitely many primes" ℹ [9/11729] Replayed LeanAide.Config info: ././././LeanAide/Config.lean:50:0: { toString := "/Users/ar/Temp/LeanAide/resources" } ℹ [10/11729] Replayed LeanAide.Aides...

stale

login is not working

The 'Authentication from Grammarly website' is not complete ... after login in the website what should I do ? The `lsp-grammarly-login` gives me > lsp--send-request-async: The connected server(s) does not...