Similar repositories to anfelor/coc-lean:

• anfelor/coc-lean github similar
• naproche/web-naproche github similar
• SnobbyDragon/leanfifteen github similar
• strake/comprehensions-ghc github similar
• kbuzzard/lean-game-skeleton github similar
• formalabstracts/CNL-CIC github similar
• asr/apia github similar
• kbuzzard/real-numbers-course github similar
• maxhaslbeck/proving-contest-backends github similar
• jthickstun/lean github similar
• digama0/advent-of-code github similar
• gihanmarasingha/miu_language github similar
• SnobbyDragon/leanhanoi github similar
• paulaneeley/modal github similar
• blanchette/logical_verification_2019 github similar
• gebner/trepplein github similar
• naproche/naproche github similar
• b-mehta/combinatorics github similar
• alashworth/sf-lean github similar
• SReichelt/slate github similar
• mhuisi/lean4-cli github similar
• Naproche-SAD/Naproche-SAD github similar
• leanprover/lean-client-js github similar
• leanprover-community/format_lean github similar
• GaloisInc/lean4-balance-car github similar
• JLimperg/aesop github similar
• ramonfmir/lean-scheme github similar
• gebner/hott3 github similar
• GrammaticalFramework/gf-rgl github similar
• lecopivo/SciLean github similar
• IPDSnelting/tba-2021 github similar
• leanprover/lake github similar
• quchen/generative-art github similar
• mpedramfar/Lean-game-maker github similar
• leanprover/tc github similar
• ImperialCollegeLondon/M4P33 github similar
• TwoFX/sudoku github similar
• blanchette/logical_verification_2020 github similar
• jesse-michael-han/lean-gptf github similar
• leanprover/vscode-lean github similar