Similar repositories to asouther4/lean-social-choice:

• asouther4/lean-social-choice github similar
• gebner/m17n-lean github similar
• digama0/mm-lean4 github similar
• david-a-wheeler/metamath-knife github similar
• mo271/formal_book github similar
• digama0/mizar-rs github similar
• paulch42/lean-spec github similar
• gbtb/nix-stable-diffusion github similar
• cozodb/cozo github similar
• cachix/devenv github similar
• terrastruct/d2 github similar
• numtide/nixos-anywhere github similar
• mjl-/mox github similar
• nix-community/nix-init github similar
• paulaneeley/modal github similar
• alexjbest/CAP-game github similar
• ericrbg/leanFAQ github similar
• kbuzzard/lean-game-skeleton github similar
• dupuisf/lean4-experimentation github similar
• leanprover-community/doc-gen github similar
• digama0/mm-web-rs github similar
• leanprover/lean4-samples github similar
• vbeffara/lean github similar
• atarnoam/lean-automata github similar
• leanprover/std4 github similar
• leanprover-community/lean-client-python github similar
• kendfrey/rubiks-cube-group github similar
• digama0/advent-of-code github similar
• minchaowu/mm-lean github similar
• gebner/quote4 github similar
• eric-wieser/lean-matrix-cookbook github similar
• arthurpaulino/LeanMusic github similar
• adamtopaz/lean-acl-pairs github similar
• google/formal-ml github similar
• joehendrix/lean-crypto github similar
• hargoniX/cpdt-lean github similar
• arthurpaulino/FxyLang github similar
• Ja1941/hilberts-axioms github similar
• leanprover/vscode-lean4 github similar
• rwbarton/lean-omin github similar