Similar repositories to mirefek/sokoban.lean:

• mirefek/sokoban.lean github similar
• groupoid/anders github similar
• zhangir-azerbayev/lean-chat github similar
• yandex/YaLM-100B github similar
• hecrj/iced github similar
• mb64/sitting-solver github similar
• smlnj/smlnj github similar
• ralsei/six-eyes github similar
• tweag/awesome-learning-haskell github similar
• toeverything/AFFiNE github similar
• pboyer/nomial github similar
• leanprover-community/vscode-lean4 github similar
• leanprover-community/archive github similar
• Jlh18/ModelTheory8Report github similar
• myuon/lean-software-foundations github similar
• arthurpaulino/lean2md github similar
• dwarn/nielsen-schreier-lean github similar
• forked-from-1kasper/ground_zero github similar
• yizhouzhang/olaf-coq github similar
• tirix/mm-web-ui github similar
• tirix/q0.mm github similar
• marcusrossel/lean-snakebird github similar
• JoeyEremondi/vscode-ott github similar
• unitb/separation-logic github similar
• LightAndLight/edit-log github similar
• digama0/dtt.mm github similar
• a2aaron/BROKEN_FIELD github similar
• eduardoleon/typhoon github similar
• Ja1941/hilberts-axioms github similar
• yatima-inc/LSpec github similar
• m4lvin/tablean github similar
• granule-project/granule-project.github.io github similar
• forked-from-1kasper/bravo github similar
• digama0/mm-lean4 github similar
• google/formal-ml github similar
• danelahman/POPL18 github similar
• yuulive/mo github similar
• dwrensha/lean4-maze github similar
• leanprover/doc-gen4 github similar
• leanprover/LeanInk github similar