Larch 1.0 GUI

Instalacja

Windows

1. Upewnij się, że masz zainstalowany co najmniej Python 3.9
2. Pobierz release (larch.zip) programu z tego miejsca. Zalecamy wybór wersji GUI, gdyż uruchamia się ona domyślnie w formie aplikacji webowej.
3. Wypakuj zawartość.
4. Uruchom aplikację przez plik .cmd, lub .pyz.
5. Nalej sobie bezalkoholowego szampana, gdy Larch pobiera automatycznie wszystkie potrzebne pliki.

Mac

1. Upewnij się, że masz zainstalowany co najmniej Python 3.9
2. Pobierz release (larch.zip) programu z tego miejsca. Zalecamy wybór wersji GUI, gdyż uruchamia się ona domyślnie w formie aplikacji webowej.
3. Wypakuj zawartość.
4. Uruchom plik install.sh w terminalu (w katalogu z plikami programu). Nada on plikom uprawnienia do bycia wykonywanym.
5. Program możesz uruchamiać klikając dwukrotnie plik larch.command, wpisując w terminalu (w katalogu z plikami programu) sh larch.sh, bądź uruchamiając ten skrypt w dowolny inny sposób.
6. Nalej sobie bezalkoholowego szampana, gdy Larch pobiera automatycznie wszystkie potrzebne pliki.

Linux

1. Upewnij się, że masz zainstalowany co najmniej Python 3.9
2. Pobierz release (larch.zip) programu z tego miejsca. Zalecamy wybór wersji GUI, gdyż uruchamia się ona domyślnie w formie aplikacji webowej.
3. Wypakuj zawartość.
4. Uruchom plik install.sh w terminalu (w katalogu z plikami programu). Nada plikom uprawnienia do bycia wykonywanym.
5. Program możesz uruchamiać wpisując w terminalu (w katalogu z plikami programu) larch.sh, bądź uruchamiając ten skrypt w dowolny inny sposób.
6. Nalej sobie bezalkoholowego szampana, gdy Larch pobiera automatycznie wszystkie potrzebne pliki.

Użycie i uruchamianie

Uruchamianie

Powtórz kroki od 3. w instrukcji instalacji. Wersja GUI dla bezpieczeństwa wymaga dostępu do internetu, aby przeprowadzać redownload wszystkich potrzebnych plików. W razie potrzeby możemy Ci jednak dostarczyć wersję nie korzystającą z niego.

Użycie GUI

Interfejs jest dość prosty ;)
Kilka podpowiedzi:

1. Możesz zmieniać gałęzie klikając na ich liście.
2. Możesz rozkładać formuły w ramach różnych gałęzi przez kliknięcie na liść i wybór formuły do rozłożenia.
3. Musisz kliknąc regułę dowodzenia.

What's Changed

• Test framework by @PogromcaPapai in #35
• Modernizacja klas, dokumentacja i debugging by @PogromcaPapai in #36
• Revert "Modernizacja klas, dokumentacja i debugging" by @PogromcaPapai in #37
• Revert "Revert "Modernizacja klas, dokumentacja i debugging"" by @PogromcaPapai in #38
• Test framework by @PogromcaPapai in #40
• Lexicon upgrade by @PogromcaPapai in #39
• New analytic tableaux plugin by @PogromcaPapai in #43
• update by @PogromcaPapai in #44
• Test framework by @PogromcaPapai in #45
• Metadata by @PogromcaPapai in #42
• Development by @PogromcaPapai in #47
• Plugin packages by @PogromcaPapai in #46
• Assistance by @PogromcaPapai in #48
• Assistance by @PogromcaPapai in #49
• Dist lab by @PogromcaPapai in #50
• Saving loading by @ghostbuster265 in #51
• Add proof saving and loading back-end to gui by @PogromcaPapai in #52
• Upgrade downloading for prerelease by @PogromcaPapai in #53
• add analytic signed tableaux and token generating interface by @PogromcaPapai in #54
• Generate formulas and analytic signed tableaux by @PogromcaPapai in #55
• GUI by @PogromcaPapai in #56
• Prelaunch debug by @PogromcaPapai in #57

Full Changelog: v0.2.1...v1.0-GUI

Sapling

Uruchamianie interfejsu:

0. Upewnij się, że masz Pythona 3.9
1. Pobierz plik release-files.zip
2. Uruchom i wpisz komendę setup open GUI / exit
3. Uruchom znów.

Full Changelog: v0.2.1...v1.0-prerelease2

Pollen cone

Photo by Yummifruitbat

Use the larch-newer.pyz file

Changelog

• Most of the code has been tested!
• Static token definition
• Distribution method
  • Larch core is a single file now
  • 🎆 You only need this file and Python 3.9 🎆
  • Plugins are stored in your app directory (More info here)
  • Default plugins will be downloaded from Larch-Team/larch-plugins
  • Additional plugins can also be downloaded using plugin get [SOCKET] [PLUGIN]
• Setups
  • Users can create, download and open setups - predefined plugin configurations
  • Setups will automatically download required plugins from Larch-Team/larch-plugins
• Improve plugin architecture
  • Easier Lexicon definition
  • Easier Formal system implementation
  • No more lexem_parser parameters in Output
• New analytic tableaux plugin
  • It's naive -> it's harder
  • It has (really good) syntax checking!
  • It has a solver and a checker
• Undo operation
• Fully embrace OOP
• Folders can be plugins
• Remove Herobrine

Cone

Photo by Wsiegmund

Changelog

• Most of the code has been tested!
• Static token definition
• Improve plugin architecture
  • Easier Lexicon definition
  • Easier Formal system implementation
  • No more lexem_parser parameters in Output
• New analytic tableaux plugin
  • It's naive -> it's harder
  • It has (really good) syntax checking!
  • It has a solver and a checker
• Undo operation
• Fully embrace OOP
• Folders can be plugins
• Remove Herobrine

Electric Boogaloo 2: Electric Boogaloo

Kilka poprawek i zmian, aby ułatwić reportowanie błędów

Electric Boogaloo

Epizod któryśtam: Nowa nadzieja

Wydaje się, że ten projekt faktycznie ma sens, więc teraz robimy wielkie sprzątanie repo i zbieramy chętnych do zaangażowania. Z tego powodu wypuszczam wersję działającą, ale zbugowaną. Tak do testów.

chyba w ogóle nie działa lol