Similar repositories to tydeu/lean4-papyrus:

• tydeu/lean4-papyrus github similar
• gibiansky/IHaskell github similar
• motemen/gore github similar
• tuvtran/project-based-learning github similar
• yatima-inc/LSpec github similar
• cpehle/lean-mlir github similar
• opencompl/lean-gap github similar
• opencompl/lean-mlir github similar
• tydeu/lean4-itertools github similar
• leanprover/presentations github similar
• GaloisInc/lean-llvm github similar
• leanprover-community/mathlib3port github similar
• leanprover-community/vscode-lean4 github similar
• HIPERFIT/recipes github similar
• NVIDIA/TRTorch github similar
• lecopivo/HouLean github similar
• krassowski/jupyterlab-lsp github similar
• danistefanovic/build-your-own-x github similar
• expnkx/fast_io github similar
• Averethel/OCamlMin github similar
• k6io/k6 github similar
• zhangir-azerbayev/lean-chat github similar
• arthurpaulino/LeanREPL github similar
• yatima-inc/NumLean github similar
• zygi/lean-protoc-plugin github similar
• leanprover/LeanInk github similar
• htzh/leanproved github similar
• tydeu/lean4-alloy github similar
• unitb/unitb-semantics github similar
• joehendrix/lean-sat-checker github similar
• arthurpaulino/NumLean github similar
• dselsam/mathport github similar
• ammkrn/printiest github similar
• marcusrossel/lean-snakebird github similar
• r0mai/tungsten github similar
• hargoniX/doc-gen4 github similar
• hypirion/go-errmonad github similar
• Julian/tree-sitter-lean github similar
• unitb/separation-logic github similar
• EgbertRijke/sequential_colimits github similar