Similar repositories to coq-contribs/zfc:

• coq-contribs/zfc github similar
• danistefanovic/build-your-own-x github similar
• user7230724/lean-projects4 github similar
• ericrbg/leanFAQ github similar
• Shamrock-Frost/BrouwerFixedPoint github similar
• leanprover-community/mathlib3port github similar
• coq-contribs/cats-in-zfc github similar
• mariainesdff/ideles github similar
• Julian/lftim github similar
• styzystyzy/Axiom_of_Choice github similar
• konn/category-agda github similar
• LumaKernel/coqpit.vim github similar
• minkiminki/Ordinal github similar
• leanprover-community/con-nf github similar
• leanprover-community/flt-regular github similar
• math-comp/Abel github similar
• ATOMSLab/LeanChemicalTheories github similar
• styzystyzy/Axiomatic_Set_Theory github similar
• suharahiromichi/coq github similar
• Mtac2/Mtac2 github similar
• blanchette/logical_verification_2021 github similar
• coq-community/apery github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• elpinal/seqmod github similar
• gbaz/mess github similar
• reynir/Brainfuck github similar
• EasyCrypt/certicrypt github similar
• kcsmnt0/quotient github similar
• RobertHarper/hott-notes github similar
• CHTT-s18/lecture-notes github similar
• leanprover-community/leanprover-community.github.io github similar
• dwrensha/lean4-maze github similar
• pkaleta/kivi github similar
• rafaelcgs10/W-in-Coq github similar
• olydis/coq2latex github similar
• mortberg/gen-cart github similar
• hivert/Coq-Combi github similar
• jaycech3n/Isabelle-HoTT github similar
• choukh/Set-Theory github similar
• arthurpaulino/lean4-metaprogramming-book github similar