Similar repositories to leanprover/lean4-nightly:

• leanprover/lean4-nightly github similar
• leanprover/std4 github similar
• martinescardo/HoTTEST-Summer-School github similar
• mikeshulman/ohtt github similar
• TOTBWF/agda-groups github similar
• groupoid/anders github similar
• tcampion/Semisimplicial github similar
• arthurpaulino/LeanMusic github similar
• groupoid/arend github similar
• o4/n2o github similar
• mjendrusch/lean-falso github similar
• awodey/Impredicative github similar
• awkure/hpt github similar
• aquynh/capstone github similar
• jonsterling/lecture-notes github similar
• thautwarm/HMRowUnification.jl github similar
• bedrocksystems/cpp2v github similar
• heliaxdev/witch github similar
• Syntacticlosure/eff github similar
• raptazure/kweh github similar
• smlnj/smlnj github similar
• thautwarm/original-posting github similar
• ralsei/six-eyes github similar
• risingwavelabs/risingwave github similar
• tlringer/ml-for-proofs github similar
• leanprover-community/vscode-lean4 github similar
• plt-amy/cubical-methods github similar
• julianhyde/morel github similar
• Deducteam/Agda2Dedukti github similar
• knisht/ars github similar
• thautwarm/voicecontrol github similar
• thautwarm/voice-typing-editor github similar
• Chaaaos/formaltt github similar
• jashug/WhyNotW github similar
• ice1000/vscode-arend github similar
• DmytroMitin/arend-exercises github similar
• groupoid/hopf github similar
• felixwellen/FastFluidDynamics github similar
• Alendia/plfa-answers github similar
• thautwarm/DianaScript github similar