Similar repositories to thalesant/formalabstracts-2018:

• thalesant/formalabstracts-2018 github similar
• rwbarton/swan github similar
• skbaek/cvx github similar
• dwarn/nielsen-schreier-lean github similar
• ericrbg/leanFAQ github similar
• msabr027/time_complexity github similar
• marcusrossel/lean-snakebird github similar
• RaitoBezarius/berkovich-spaces github similar
• unitb/lean-lib github similar
• rwbarton/lean-homotopy-theory github similar
• ImperialCollegeLondon/dots_and_boxes github similar
• pbrosnan/ntg github similar
• tolik-punkoff/dialog-examples github similar
• pedrohcdo/Algorithms github similar
• leanprover-community/lean-sensitivity github similar
• superficie/superficie-algebriche github similar
• dpiponi/caustics github similar
• agentultra/lean-for-hackers github similar
• PeterScholze/Analytic github similar
• rwbarton/lean-omin github similar
• EdAyers/Robotone github similar
• sorear/smm github similar
• feresum/PMA github similar
• kmill/knotfolio github similar
• leanprover-community/sphere-eversion github similar
• mmasdeu/topologygame github similar
• dbrgn/perceptron github similar
• formalabstracts/CNL-CIC github similar
• digama0/mm-lean4 github similar
• drh/drhanson github similar
• dwrensha/lean4-maze github similar
• google/formal-ml github similar
• dpiponi/formal-weyl github similar
• GaloisInc/lean4-balance-car github similar
• sorear/smetamath-rs github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• kbuzzard/lean-stacks-project github similar
• gebner/trepplein github similar
• gerby-project/gerby-website github similar
• nextstrain/ncov-ingest github similar