Skip to content

Larch 1.0 GUI

Latest
Latest
Compare
Choose a tag to compare
@jqdq jqdq released this 18 Nov 19:27
· 16 commits to course-release since this release
v1.0-GUI
b9287f8

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

Contributors

jqdq and ghostbuster265
Assets 3
Loading