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.shw 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.shw 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艂
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent