Similar repositories to bzhan/holpy:

• bzhan/holpy github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• termite-analyser/llvm2smt github similar
• exaloop/codon github similar
• gibiansky/IHaskell github similar
• tuvtran/project-based-learning github similar
• craff/pacomb github similar
• lastland/ClairvoyanceMonad github similar
• dwrensha/lean4-maze github similar
• Zdancewic/linearity github similar
• smtcoq/sniper github similar
• leanprover/doc-gen4 github similar
• ejgallego/pycoq github similar
• felipeperet/logic github similar
• hellerve/microml github similar
• lecopivo/lean4-karray github similar
• a-nikolaev/jump github similar
• hargoniX/cpdt-lean github similar
• W95Psp/verified-abstract-interpreter github similar
• metaborg/linear.agda github similar
• mvr/at github similar
• codyroux/hoare-toy github similar
• opencompl/lean-gap github similar
• arthurpaulino/lean2md github similar
• c-cube/quip github similar
• larsk21/iris-lean github similar
• julianhyde/morel github similar
• backtracking/program-proofs-with-why3 github similar
• strub/elliptic-curves-ssr github similar
• charguer/tlc github similar
• thautwarm/Sequent.jl github similar
• aspiwack/peppermint-prover github similar
• leanprover/LeanInk github similar
• ATOMSLab/LeanChemicalTheories github similar
• ImperialCollegeLondon/group-theory-game github similar
• avigad/qpf github similar
• openai/tiktoken github similar
• edx/edx-platform github similar
• jerryjliu/gpt_index github similar