Arnoud van der Leer

Updating names with "wrong capitalization"

5

#687 calls for uniformity in naming. It seems that in the last year(s), naming has become a lot more consistent, with almost all new code using `snake_case` for names. However,...

Unable to set Coq properties

3

When I try to configure coq properties, following the last two lines of [the documentation](https://github.com/jscoq/jscoq/blob/HEAD/docs/embedding.md), I get an exception: ``` Anomaly ""Assert_failure _vendor+v8.16+32bit/coq/library/lib.ml:169:57"." Please report at http://coq.inria.fr/bugs/. Anomaly "Uncaught exception...

Autocomplete names of lemmas and definitions.

2

Note: I am still on v0.3.8, so not entirely sure how this translates to the new version. I am not sure how hard this is to implement (although I guess...

This PR changes to the following unicode notations: * `∑ _, _` instead of `total2 _ _` * `_ = _` instead of `paths _ _` * `_ @ _`...

Fixes #1892

NOTE: This PR depends on #1899 , so that one should be merged first. Only [the last 3 commits](https://github.com/UniMath/UniMath/pull/1901/files/84411136bd272ac979e91300b3f295e38920812d..1cbcc4e27c6a1a9b866e5eec577cd5eadad6f4f3) belong to this PR. Formalizes the construction of a Lawvere theory...

On December 11, 2023, a change was made in scipy that (as far as I understand it) removes the already deprecated import redirect of `tukey` from `scipy.signal` to `scipy.signal.windows` ([see...

and show that the two definitions are equivalent.