Similar repositories to jasonrute/lean-proof-recording-public-old:

• jasonrute/lean-proof-recording-public github similar
• jasonrute/lean-proof-recording-public-old github similar
• leanprover-community/mathzoo github similar
• sorear/smetamath-rs github similar
• openai/lean-gym github similar
• pygae/lean-ga github similar
• unixpickle/vae-textures github similar
• jesse-michael-han/lean-gptf github similar
• sorear/metamath-turing-machines github similar
• leanprover/vscode-lean github similar
• leanprover-community/lean-liquid github similar
• metamath/set.mm github similar
• poulter7/ipynb-tex github similar
• saibalmars/GraphRicciCurvature github similar
• leanprover/elan github similar
• formalabstracts/formalabstracts github similar
• feiwang3311/Lantern github similar
• twitter-research/graph-neural-pde github similar
• DSLsofMath/DSLsofMath github similar
• digama0/mm0 github similar
• nrontsis/PILCO github similar
• princeton-vl/CoqGym github similar
• craffel/dl3d-seminar github similar
• bgavran/Category_Theory_Machine_Learning github similar
• FlyingGiraffe/vnn github similar
• ellisk42/ec github similar
• soedinglab/hh-suite github similar
• dselsam/certigrad github similar
• t-makaro/animatplot github similar
• AnonGit90210/RamanujanMachine github similar
• JuliaApproximation/ApproxFun.jl github similar
• mpatacchiola/dissecting-reinforcement-learning github similar
• stacks/stacks-project github similar
• dbrattli/OSlash github similar
• tensorflow/gnn github similar
• rsvp/fecon235 github similar
• sourcegraph/javascript-typescript-langserver github similar
• chenryn/aiops-handbook github similar
• HazyResearch/state-spaces github similar
• Separius/awesome-fast-attention github similar