Similar repositories to formalabstracts/CNL-CIC:

• formalabstracts/CNL-CIC github similar
• anfelor/coc-lean github similar
• leanprover-community/lean-sensitivity github similar
• Naproche-SAD/Naproche-SAD github similar
• leanprover-community/sphere-eversion github similar
• Soonad/Formality-Agda github similar
• gibiansky/IHaskell github similar
• leanprover-community/vscode-lean4 github similar
• adelon/naproche-cic github similar
• adelon/nave github similar
• rwbarton/swan github similar
• rwbarton/lean-homotopy-theory github similar
• kmill/lean-graphcoloring github similar
• rwbarton/lean-omin github similar
• dselsam/oracle github similar
• lean-forward/class-number github similar
• naproche/web-naproche github similar
• skbaek/cvx github similar
• SimonBoulier/hott-colimits github similar
• lab156/arxivDownload github similar
• SnobbyDragon/leanfifteen github similar
• McEarl/forthel-syntax github similar
• blanchette/logical_verification_2019 github similar
• EdAyers/lean-subtask github similar
• jesse-michael-han/lean-parser-combinators github similar
• alashworth/sf-lean github similar
• kbuzzard/lean-game-skeleton github similar
• ammkrn/printiest github similar
• strake/comprehensions-ghc github similar
• naproche/naproche github similar
• thalesant/formalabstracts-2018 github similar
• leanprover-community/format_lean github similar
• etorreborre/ingestion github similar
• ysharoda/Deriving-Definitions github similar
• vbeffara/lean github similar
• leanprover/lean-web-editor github similar
• asr/apia github similar
• naproche/FLib github similar
• digama0/mm-lean4 github similar
• TwoFX/lean-homological-algebra github similar