Similar repositories to kotatsugame/proof_assistant:

• kotatsugame/proof_assistant github similar
• qnighy/lltoy github similar
• colun/mmlang github similar
• sabo2/pzprv3 github similar
• qnighy/ipc_solver github similar
• BowenFu/mathiu.cpp github similar
• vprover/vampire github similar
• redorav/hlslpp github similar
• Andromedans/andromeda github similar
• kyuridenamida/atcoder-tools github similar
• keiichiw/constexpr-8cc github similar
• azu/awesome-commit-english github similar
• symengine/symengine github similar
• weseek/growi github similar
• seanbaxter/circle github similar
• moderngpu/moderngpu github similar
• jupyter-xeus/xeus-cling github similar
• dotnet/fsharp github similar
• RandyGaul/cute_headers github similar
• oneapi-src/oneTBB github similar
• coq/coq github similar
• mlpack/mlpack github similar
• mosra/magnum github similar
• o3de/o3de github similar
• cinder/Cinder github similar
• Z3Prover/z3 github similar
• taskflow/taskflow github similar
• nothings/single_file_libs github similar
• openframeworks/openFrameworks github similar
• rigtorp/awesome-modern-cpp github similar
• catchorg/Catch2 github similar
• microsoft/vcpkg github similar
• nothings/stb github similar
• xi-editor/xi-editor github similar
• nlohmann/json github similar
• rust-lang/rust github similar
• keras-team/keras github similar
• puppeteer/puppeteer github similar
• EbookFoundation/free-programming-books github similar