Similar repositories to dwrensha/math-puzzles-in-lean:

• dwrensha/mathematical-puzzles-in-lean github similar
• pandas-profiling/pandas-profiling github similar
• dwrensha/math-puzzles-in-lean github similar
• avigad/lamr github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• openai/miniF2F github similar
• brymer-meneses/grammar-guard.nvim github similar
• kbuzzard/xena github similar
• ImperialCollegeLondon/natural_number_game github similar
• ImperialCollegeLondon/formalising-mathematics github similar
• math-comp/math-comp github similar
• leanprover-community/mathlib github similar
• chrisbra/NrrwRgn github similar
• ddvk/remarkable-hacks github similar
• ms-jpq/coq_nvim github similar
• reHackable/awesome-reMarkable github similar
• ipython-contrib/jupyter_contrib_nbextensions github similar
• 42wim/matterbridge github similar
• plasma-umass/scalene github similar
• pycaret/pycaret github similar
• rockerBOO/awesome-neovim github similar
• unifyai/ivy github similar
• ydataai/pandas-profiling github similar
• jgm/pandoc github similar
• ibraheemdev/modern-unix github similar
• willmcgugan/rich github similar
• Textualize/rich github similar