Timeline for Are there any non-English based proof assistants?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 9, 2022 at 18:29 | history | edited | Maximilian Doré | CC BY-SA 4.0 |
deleted 14 characters in body
|
| Feb 9, 2022 at 16:04 | comment | added | Agnishom Chattopadhyay | I would prefer that people instead use plain Lojban instead, but doing that would unncecessarily fragment the PL community, wouldn't it? Many programming languages have keywords/syntax inspired by English, but they are really far from English: English doesn't have an operational semantics but most PL do. | |
| Feb 9, 2022 at 14:38 | comment | added | Jia Ming جيا ميڠ | Sure, from personal experience I agree, but I also think plain Mandarin is not that hard, why don't we all switch to that? ;) | |
| Feb 9, 2022 at 14:19 | comment | added | Gergely | @JiaMingجياميڠ Plain English is not that hard. And much of theorem proving literature is in English. | |
| Feb 9, 2022 at 13:40 | comment | added | Jia Ming جيا ميڠ | It's also about access. Peoples who have to learn English as a second language will automatically be disadvantaged, especially if English is not closely related to their home languages and no readily accessible resources are available to them. | |
| S Feb 9, 2022 at 13:30 | review | First answers | |||
| Feb 9, 2022 at 13:43 | |||||
| S Feb 9, 2022 at 13:30 | history | answered | Maximilian Doré | CC BY-SA 4.0 |