Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
looks like the reference was published in 2017:
I have added the line
before the reference. Itâ€™s exceedingly useful to connect references with such a minimum of semantic hyperlninking.
Added the reference
Also added in his PhD thesis
I have added cross-link with initiality conjecture and pointer to the talk slides (pdf)
1 to 6 of 6