Deleted user

The Escardo-Simpson or higher inductive-inductive Cauchy reals could be done in predicative constructive set theory by adding an axiom and possibly any relevant signatures to the set theory which says...

> In set-theoretic foundations, the definition of the real numbers as equivalence classes of Cauchy sequences requires either the law of excluded middle or the axiom of (countable) choice to...

> > In set-theoretic foundations, the definition of the real numbers as equivalence classes of Cauchy sequences requires either the law of excluded middle or the axiom of (countable) choice...

gir for GstVideoDecoderClass looks as follows: ```xml ... ``` The value of array@c:type doesn't seem to make sense, and this is the one that is used to determine how many...

@Matin-B

> ...well. solution was rather simple. uninstall this extension and install the version by Kreare. > > Kreare.kreare-sftp You are right, thanks guy

related to #12083

知乎关怀版貌似还是正常的，是否有大佬愿意试试？

似乎是cookie后有乱码。 否有可能检测乱码（低频汉字出现次数过高），自动fallback到正常版本？

> 已经发送的 comment 是可以编辑的，编辑入口在 comment 的右上角三点菜单。 > > 既然你开了一个新 issue，这个 issue 可以关闭了。 为什么要关？