Similar repositories to metamath/set.mm:

• metamath/set.mm github similar
• danistefanovic/build-your-own-x github similar
• metamath/metamath-exe github similar
• pixijs/pixi.js github similar
• metamath/metamath-book github similar
• tootsuite/mastodon github similar
• digama0/mmj2 github similar
• digama0/mm0 github similar
• Eloston/ungoogled-chromium github similar
• aquynh/capstone github similar
• GamestonkTerminal/GamestonkTerminal github similar
• raphlinus/ghilbert github similar
• sorear/metamath-turing-machines github similar
• gibiansky/IHaskell github similar
• sorear/smetamath-rs github similar
• ReactTraining/react-router github similar
• sarsko/CreuSAT github similar
• Deducteam/lambdapi github similar
• Deducteam/Dedukti github similar
• flypitch/flypitch github similar
• chriskempson/base16 github similar
• meilisearch/MeiliSearch github similar
• jrh13/hol-light github similar
• gionkunz/chartist-js github similar
• openai/lean-gym github similar
• david-a-wheeler/mmverify.py github similar
• oven-sh/bun github similar
• formalabstracts/formalabstracts github similar
• leanprover/elan github similar
• kino3/Mini-TT github similar
• david-a-wheeler/metamath-knife github similar
• MetaCoq/metacoq github similar
• leanprover-community/lean github similar
• seL4/isabelle github similar
• sorear/smm github similar
• martinescardo/TypeTopology github similar
• HOL-Theorem-Prover/HOL github similar
• kmill/lean4-raytracer github similar
• leanprover-community/format_lean github similar
• leanprover/vscode-lean github similar