Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form

"Tutorial with Pryo" should be fixed to "Pyro".

We've been trying to run this project on Colab for months and for now, we have accepted that we can't use the Python 3.8 example given on this repository. So...

vi: Translate TOC from Running the course to the end of Chromium

14

I tried to translate the table of contents into Vietnamese. - Some keywords are hard to translate, or to clarify my translation, I used parentheses "( )". - I don't...

UseModelApi: Lacks of `self` for attributes in OCL Expression

1

**Describe the bug** Unable to automatically find the `self` of USE Class attributes. **To Reproduce** Using Use Model Api: - Create a class. - Add some attributes to it. -...

File explorer should be based on the OS's explorer

2

**Is your feature request related to a problem? Please describe.** I think it would be better if the file explorer should be based on the OS's explorer. For example, when...

Hello, my team is trying to install this repo in the Eclipse IDE. However, we encounter problems and would like to ask for help.  The first question is about...

UI Suggestions: Hide locked concepts, hot keys and diffing between LHS and RHS

3

Title. I would like to suggest a few UI improvements to the game. - The player should have the right to hide/unhide the locked concepts (tactics, definitions, theorems...) with a...