Similar repositories to jtristan/FormalML:

• jtristan/FormalML github similar
• gibiansky/IHaskell github similar
• dselsam/lean-gym github similar
• minchaowu/mm-lean github similar
• kckennylau/mathlib4 github similar
• leanprover/presentations github similar
• leanprover-community/leancrawler github similar
• alashworth/sf-lean github similar
• ziman/idris-data-frame github similar
• google/formal-ml github similar
• jesse-michael-han/lean-step-public github similar
• uwplse/synapse github similar
• coq-community/gaia github similar
• rwbarton/advent-of-lean-4 github similar
• idris-hackers/idris-free github similar
• DoctorRyner/sae github similar
• GaloisInc/lean-llvm github similar
• avigad/lamr github similar
• leanprover/std4 github similar
• TrustAI/DeepGO github similar
• mhuisi/lean4-cli github similar
• sisl/NNet github similar
• microsoft/AliveInLean github similar
• GaloisInc/lean4-balance-car github similar
• coq-tactician/coq-tactician github similar
• JLimperg/aesop github similar
• leanprover-community/format_lean github similar
• semorrison/lean-category-theory github similar
• ImperialCollegeLondon/M4P33 github similar
• PatrickMassot/lean-verbose github similar
• leanprover/tc github similar
• idris-community/inigo github similar
• CoqEAL/CoqEAL github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• ML-KULeuven/deepproblog github similar
• flypitch/flypitch github similar
• leanprover/vscode-lean github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/lean-perfectoid-spaces github similar
• jrslepak/Remora github similar