Similar repositories to google/formal-ml:

• google/formal-ml github similar
• danistefanovic/build-your-own-x github similar
• Eugeny/terminus github similar
• alashworth/sf-lean github similar
• RH12503/triangula github similar
• leanprover-community/vscode-lean4 github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• k6io/k6 github similar
• GamestonkTerminal/GamestonkTerminal github similar
• tuvtran/project-based-learning github similar
• javra/iit github similar
• rwbarton/advent-of-lean-4 github similar
• opencompl/lean-gap github similar
• forked-from-1kasper/ground_zero github similar
• JLimperg/aesop github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• joehendrix/lean-crypto github similar
• jesse-michael-han/lean-step-public github similar
• dwrensha/lean4-maze github similar
• leanprover-community/lt2021 github similar
• leanprover-community/leancrawler github similar
• vbeffara/lean github similar
• ImperialCollegeLondon/dots_and_boxes github similar
• siddhartha-gadgil/Polylean github similar
• mhuisi/lean4-cli github similar
• TwoFX/lean-homological-algebra github similar
• forked-from-1kasper/bravo github similar
• m4lvin/tablean github similar
• avigad/mathematics_in_lean_source github similar
• leanprover/lean-client-js github similar
• minchaowu/mm-lean github similar
• RedPRL/asai github similar
• leanprover-community/format_lean github similar
• leanprover/LeanInk github similar
• isadofschi/combinatorial_nullstellensatz github similar
• ai4reason/ATP_Proofs github similar
• ejgallego/coq-universe github similar
• Chaaaos/formaltt github similar
• EdAyers/Robotone github similar