Similar repositories to jasonrute/communicating-with-lean:

• jasonrute/communicating-with-lean github similar
• jasonrute/holist-communication-example github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• jesse-michael-han/lean-step-public github similar
• leanprover-community/mathlib-tools github similar
• brain-research/hol-light github similar
• EleutherAI/project-menu github similar
• openai/lean-gym github similar
• GeoCoq/GeoCoq github similar
• openai/miniF2F github similar
• banacorn/agda-mode-vscode github similar
• formalabstracts/formalabstracts github similar
• lukaszcz/coqhammer github similar
• princeton-vl/CoqGym github similar
• jrh13/hol-light github similar
• inverse-scaling/prize github similar
• leanprover-community/lean github similar
• jscoq/jscoq github similar
• agda/agda-stdlib github similar
• HOL-Theorem-Prover/HOL github similar
• tensorflow/deepmath github similar
• boazbk/tcs github similar
• leanprover-community/mathlib github similar
• barbagroup/CFDPython github similar
• coq/coq github similar
• penrose/penrose github similar