ai4reason/ATP_Proofs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ai4reason/ATP_Proofs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ai4reason/ATP_Proofs)

Close

ai4reason / ATP_ProofsView on GitHubMore

• External links
• Readme badge

Interesting ATP Proofs

☆13Sep 3, 2021Updated 4 years ago

Alternatives and similar repositories for ATP_Proofs

Users that are interested in ATP_Proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• tlringer / ml-for-proofs

  View on GitHub
  An open bibliography of machine learning for formal proof papers
  ☆32Sep 30, 2023Updated 2 years ago
• wellecks / naturalprover

  View on GitHub
  NaturalProver: Grounded Mathematical Proof Generation with Language Models
  ☆39Mar 24, 2023Updated 2 years ago
• BartoszPiotrowski / lean-premise-selection

  View on GitHub
  ☆22Jan 14, 2026Updated 2 months ago
• zhangir-azerbayev / repl

  View on GitHub
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆12Jun 19, 2023Updated 2 years ago
• princeton-vl / FormulaNet

  View on GitHub
  Code for FormulaNet in NIPS 2017
  ☆30Apr 10, 2018Updated 7 years ago
• jesse-michael-han / lean-tpe-public

  View on GitHub
  The Lean Theorem Proving Environment
  ☆15May 7, 2023Updated 2 years ago
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• google / formal-ml

  View on GitHub
  ☆25Apr 21, 2021Updated 4 years ago
• JUrban / deepmath

  View on GitHub
  deep learning for math
  ☆29May 4, 2019Updated 6 years ago
• prometheus-eval / scaling-evaluation-compute

  View on GitHub
  Repository for "Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators"
  ☆12Mar 25, 2025Updated 11 months ago
• wellecks / naturalproofs

  View on GitHub
  NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)
  ☆134Sep 8, 2022Updated 3 years ago
• zhunyoung / clingoTutorial

  View on GitHub
  ☆12Feb 6, 2023Updated 3 years ago
• jasonrute / lean_proof_recording

  View on GitHub
  Proof recording for Lean 3
  ☆27Sep 30, 2021Updated 4 years ago
• trishullab / clever

  View on GitHub
  CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning
  ☆37Dec 18, 2025Updated 3 months ago
• trishullab / itp-interface

  View on GitHub
  Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…
  ☆18Feb 19, 2026Updated last month
• StarExec / StarExec

  View on GitHub
  StarExec is a cross community logic solving service
  ☆19Jun 1, 2025Updated 9 months ago
• IBM / TRAIL

  View on GitHub
  Trial Reasoner for AI that Learns
  ☆18Sep 17, 2025Updated 6 months ago
• cmu-l3 / ntptutorial-II

  View on GitHub
  Neural theorem proving tutorial, version II
  ☆40Apr 26, 2024Updated last year
• Purewhite2019 / formal_problem_solving_main

  View on GitHub
  Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"
  ☆29May 8, 2025Updated 10 months ago
• Lagooon / LeanSTaR

  View on GitHub
  ☆44Sep 19, 2024Updated last year
• lukepur / vue-port-graph

  View on GitHub
  ☆13Jun 21, 2017Updated 8 years ago
• jesse-michael-han / lean-gptf

  View on GitHub
  Interactive neural theorem proving in Lean
  ☆133Mar 24, 2022Updated 4 years ago
• rocq-community / rocq-lean-import

  View on GitHub
  ☆28Updated this week
• wellecks / transformers4math-simons

  View on GitHub
  Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025
  ☆43Jan 18, 2026Updated 2 months ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• EuroProofNet / europroofnet.github.io

  View on GitHub
  Sources of the EuroProofNet web site.
  ☆13Updated this week
• asaparov / grammar

  View on GitHub
  Implementation of generative semantic grammar.
  ☆17Jun 2, 2022Updated 3 years ago
• jesse-michael-han / lean-step-public

  View on GitHub
  Proof artifact co-training for Lean
  ☆44Dec 29, 2022Updated 3 years ago
• chiggum / Neural-Turing-Machines

  View on GitHub
  An attempt at replicating Deepmind's Neural Turing Machines in Theano
  ☆11Nov 27, 2016Updated 9 years ago
• zhangir-azerbayev / lean-chat

  View on GitHub
  ☆50Jun 27, 2022Updated 3 years ago
• Plan9-Archive / dis-interpreter

  View on GitHub
  Dis interpreter by Rob Pike
  ☆13Sep 3, 2020Updated 5 years ago
• haskell-rewriting / term-rewriting

  View on GitHub
  Yet another haskell term rewriting library
  ☆18Aug 27, 2025Updated 6 months ago
• 8l / tccboot

  View on GitHub
  TCCBOOT: TinyCC Boot Loader
  ☆13Oct 24, 2014Updated 11 years ago
• teorth / newton

  View on GitHub
  ☆13Dec 25, 2023Updated 2 years ago
• okvik / unionfs

  View on GitHub
  file tree union server for Plan 9
  ☆10Aug 6, 2021Updated 4 years ago
• gebner / trepplein

  View on GitHub
  Lean type-checker written in Scala.
  ☆41Mar 13, 2022Updated 4 years ago
• 01mf02 / cop-rs

  View on GitHub
  Connection provers in Rust
  ☆14Mar 13, 2024Updated 2 years ago
• princeton-nlp / align-mlm

  View on GitHub
  ☆13Nov 30, 2022Updated 3 years ago
• clulab / scala-transformers

  View on GitHub
  Scala interfaces to huggingface transformers and tokenizers
  ☆13Updated this week