Larch jest sk艂adaj膮cym si臋 z modu艂贸w systemem s艂u偶膮cym do wspomagania dowodzenia. W tym projekcie skupiamy si臋 na poprawie metod dydaktyki logiki chc膮c doprowadzi膰 do mo偶liwo艣ci dowodzenia tylko i wy艂膮cznie myszk膮. Aktualnie wspieramy tabele analityczne KRZ (sygnowane i niesygnowane) oraz oferujemy konsolow膮 implementacj臋 rachunku sekwent贸w.
The truth is only one click away!
Larch jest silnikiem wspomagania dowodzenia opartym na silnej implementacji Plugin Oriented Programming. Projekt rozwijany jest w celach dydaktycznych - aby odci膮偶y膰 student贸w od przepisywania zda艅 oraz rozpisywania regu艂, daj膮c tym samym mo偶liwo艣膰 skupienie si臋 na strategii dowodu. Zaawansowanym u偶ytkownikom oferowana jest mo偶liwo艣膰 tworzenia system贸w dowodzenia, parser贸w, form wydruku, podpowiedzi, a nawet interfejs贸w.
- Upewnij si臋, 偶e masz zainstalowany co najmniej Python 3.9
- Pobierz release (larch.zip) programu z tego miejsca. Zalecamy wyb贸r wersji GUI, gdy偶 uruchamia si臋 ona domy艣lnie w formie aplikacji webowej.
- Wypakuj zawarto艣膰.
- Uruchom aplikacj臋 przez plik
.cmd
, lub.pyz
. - Nalej sobie bezalkoholowego szampana, gdy Larch pobiera automatycznie wszystkie potrzebne pliki.
- Upewnij si臋, 偶e masz zainstalowany co najmniej Python 3.9
- Pobierz release (larch.zip) programu z tego miejsca. Zalecamy wyb贸r wersji GUI, gdy偶 uruchamia si臋 ona domy艣lnie w formie aplikacji webowej.
- Wypakuj zawarto艣膰.
- Uruchom plik
install.sh
w terminalu (w katalogu z plikami programu). Nada on plikom uprawnienia do bycia wykonywanym. - 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. - Nalej sobie bezalkoholowego szampana, gdy Larch pobiera automatycznie wszystkie potrzebne pliki.
- Upewnij si臋, 偶e masz zainstalowany co najmniej Python 3.9
- Pobierz release (larch.zip) programu z tego miejsca. Zalecamy wyb贸r wersji GUI, gdy偶 uruchamia si臋 ona domy艣lnie w formie aplikacji webowej.
- Wypakuj zawarto艣膰.
- Uruchom plik
install.sh
w terminalu (w katalogu z plikami programu). Nada plikom uprawnienia do bycia wykonywanym. - 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. - Nalej sobie bezalkoholowego szampana, gdy Larch pobiera automatycznie wszystkie potrzebne pliki.
Powt贸rz kroki od 5. 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.
Interfejs jest do艣膰 prosty ;) Kilka podpowiedzi:
- Mo偶esz zmienia膰 ga艂臋zie klikaj膮c na ich li艣cie.
- 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.
- Musisz klikn膮c regu艂臋 dowodzenia.
Najwa偶niejsze komendy dost臋pne w interfejsie:
?
przywo艂uje list臋 wszystkich komend,[komenda]?
przywo艂uje pomoc dla danej komendy,prove [zdanie]
rozpoczyna dow贸d; mo偶esz go opu艣ci膰 z pomoc膮leave
,- w trakcie dowodzenia mo偶esz u偶ywa膰 komendy
use [regu艂a] [kontekst]
do u偶ycia regu艂y, - list臋 dost臋pnych regu艂 znajdziesz w podpowiedziach podczas wpisywania oraz pod komend膮
get rules
, kt贸ra poda tak偶e informacje o wymaganiach danej regu艂y (na przyk艂ad poinformuje o potrzebie podania Sentence ID, czyli numeru zdania w ga艂臋zi), - w ka偶dym momencie dowodu znajdujesz si臋 na pewnej ga艂臋zi, zmienia膰 mo偶esz je komend膮
jump [nazwa ga艂臋zi/>/<]
, lubnext
(ta przeniesie Ci臋 do nast臋pnej otwartej ga艂臋zi), - sw贸j dow贸d mo偶esz wy艣wietli膰 w 艂atwiejszej do zrozumienia formie z pomoc膮 komendy
get tree
, ga艂膮藕 mo偶esz wy艣wietli膰 komend膮get branch
,
Larch oferuje te偶 wewn臋trzny system plugin贸w, ich list臋 mo偶esz wy艣wietli膰 komend膮 plugin list [nazwa gniazda/all]
. Pluginy mo偶esz zmienia膰 komend膮 plugin switch [gniazdo/aktualnie pod艂膮czony plugin] [nowy plugin]
.
Zapraszamy do zapoznania si臋 z nasz膮 dokumentacj膮 na ten temat!
B艂臋dy (oraz propozycje) mo偶na zg艂asza膰 za pomoc膮 Notion oraz w formularzu. Na powy偶szej stronie mo偶esz znale藕膰 przycisk New. Powinna wy艣wietli膰 Ci si臋 pusta strona z mo偶liwo艣ci膮 wyboru wzoru. Wybierz odpowiedni i wype艂nij formularz. Postaraj si臋 wyja艣ni膰 jak najdok艂adniej, co si臋 sta艂o - ka偶dy szczeg贸艂 mo偶e okaza膰 si臋 przydatny! Je艣li masz pomys艂, co mog艂o spowodowa膰 b艂膮d, mo偶esz spr贸bowa膰 samemu go naprawi膰!
Bardzo przydatne jest dla nas do艂膮czenie crash reportu, kt贸ry mo偶esz znale藕膰 w folderze crashes
. Ch臋tnie przyjmiemy te偶 plik config.json
!
Projekt Larch zosta艂 utworzony tak, aby umo偶liwi膰 ka偶dej ch臋tnej osobie tworzenie autorskich metod dowodzenia, format贸w wydruku, format贸w zapis贸w, czy interfejs贸w.
Mo偶esz skopiowa膰 wz贸r pluginu z pomoc膮 komendy plugin gen [nazwa gniazda] [nazwa pluginu]
. Znajdziesz w nim zestaw wzor贸w funkcji, kt贸re wymagane s膮 od danego pluginu. Type hinting podpowie Ci, co dany plugin przyjmuje, a co zwraca dana funkcja. Skorzystaj z docstring贸w wewn膮trz kodu oraz dokumentacji. Nie b贸j si臋 z nami kontaktowa膰 - nie ma g艂upich pyta艅, s膮 tylko g艂upie filmiki w internecie!
Larch jest projektem potrzebuj膮cym ludzi z szerokiego spektrum umiej臋tno艣ci. Potrzebujemy zar贸wno logik贸w, programist贸w, tester贸w, jak i projektant贸w oraz grafik贸w. W zwi膮zku z tym ch臋tnie przyjmujemy ka偶dego do naszej spo艂eczno艣ci - je偶eli uwa偶asz, 偶e mo偶esz nam si臋 przyda膰, to prawdopodobnie tak jest!
Je艣li chcesz si臋 zaanga偶owa膰, mo偶esz skontaktowa膰 si臋 z dowolnym z autor贸w.
- Jakub Dakowski (@PogromcaPapai) - 馃憫 Benevolent dictator for life 馃憫
- Barbura Adamska - Chief Bzdury Officer 馃搱
- Robert Szyma艅ski (@rsxxi) - PM/UX unicorn 馃
- Ola Draszewska (@nerdolo) - Confused coder 馃懢
- 艁ukasz Abramowicz (@ghostbuster265) - I arise from depths of my parents basement to code or sth 馃悪
- Dominika Juszczak (@antykwariat) - frontend develoops i did it again 馃
Oraz wszyscy, kt贸rzy bacznie przygl膮dali si臋 rozwojowi aplikacji.
- Micha艂 Gajdziszewski - algorytm printuj膮cy w
actual_tree
- Aleksander Kiryk - algorytm generowania formu艂