Alexandre Rademaker
Alexandre Rademaker
In the tests, I found references to the brown corpus. Can you specify the original URL for download the corpus?
https://help.github.com/articles/creating-project-pages-manually/ For projects, we usually have url `http://username.github.io/project-name/`. I didn't find a way to customize the base URI of the website.
During classes, I would like to increase the size of the fonts in the minibuffer so students can see the types in the cursor position. Any idea? Using the code...
http://leanprover.github.io/presentations/20150123_lean-mode/lean-mode.pdf slide 5 says I can have a type of a subterm if I put a cursor on the open-paren. it is not working for me. Any idea? Emacs 26.1....
I got many error like ``` writing output... [100%] venv/lib/python3.7/site-packages/sphinx/ext/autosummary/templates/autosummary/module /Users/ar/work/logic_and_proof/classical_reasoning.rst:237: WARNING: Could not lex literal_block as "lean". Highlighting skipped. /Users/ar/work/logic_and_proof/classical_reasoning.rst:378: WARNING: Could not lex literal_block as "lean". Highlighting skipped....
The filename of the lib is libxml2.dylib Best, Alexandre
why all upper cases were lost? is it possible to obtain the original capitalization?
In the last release, the system is not available.
In the search results for `drill` I got: ``` ... * Familiarity of noun drill drill used as a noun is uncommon (polysemy count = 4) * Familiarity of verb...
Temos 35 casos de `há` que erroneamente foi anotado como ADP ``` % rg "há\thá" *.conllu | wc -l 35 ```