Similar repositories to EdAyers/lean-subtask:

• EdAyers/lean-subtask github similar
• kmill/lean-graphcoloring github similar
• dselsam/oracle github similar
• gihanmarasingha/exleanblog github similar
• leanprover-community/lean-sensitivity github similar
• semorrison/lean-tidy github similar
• rwbarton/lean-homotopy-theory github similar
• formalabstracts/CNL-CIC github similar
• thehottgame/theHoTTGameGuide github similar
• leanprover-community/format_lean github similar
• avigad/qpf github similar
• mhuisi/lean4-cli github similar
• GaloisInc/lean4-balance-car github similar
• JLimperg/aesop github similar
• kmill/lean4-raytracer github similar
• awodey/CatLogNotes github similar
• flypitch/flypitch github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/lean-perfectoid-spaces github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• martinescardo/TypeTopology github similar
• UniMath/agda-unimath github similar
• leanprover-community/tutorials github similar
• LMFDB/lmfdb github similar
• nomeata/incredible github similar
• leanprover-community/lean github similar
• AlgebraicJulia/Catlab.jl github similar
• keybase/kbfs github similar
• leanprover-community/mathlib github similar
• leanprover/lean4 github similar
• liljencrantz/crush github similar
• makepad/makepad github similar
• cjb/GitTorrent github similar
• mxgmn/MarkovJunior github similar
• adityatelange/hugo-PaperMod github similar
• norvig/paip-lisp github similar
• sourcegraph/sourcegraph github similar
• google/trax github similar
• LemmyNet/lemmy github similar
• yemount/pose-animator github similar