Skip to content

Pull requests: Axiomatic-AI/ax-prover-base

New pull request New
9 Open 24 Closed
9 Open 24 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add GPT-5.6 Sol support
#36 opened Jul 16, 2026 by BenKBreen Collaborator Loading…
Adding deepseek
#35 opened Jul 9, 2026 by KrystianNowakowski Collaborator Loading…
10
Adding LeanExplore + Loogle
#29 opened Jun 11, 2026 by tcz Loading…
17
feat: restrict edits to the proof body (lock challenge-file imports/opens)
#19 opened Jun 5, 2026 by KrystianNowakowski Collaborator • Draft
2
prompts: target Lean 4.28
#18 opened Jun 5, 2026 by KrystianNowakowski Collaborator • Draft
Warn proposer about stripped standalone lemmas
#15 opened Jun 5, 2026 by KrystianNowakowski Collaborator • Draft
3
feat: local Lean project search + CSLib search tools
#13 opened Jun 3, 2026 by KrystianNowakowski Collaborator • Draft
11
feat(prover): broaden search-tactic rejection beyond apply?/exact?
#12 opened Jun 3, 2026 by KrystianNowakowski Collaborator • Draft
Add support for Qwen 3.5 and initial testing
#8 opened Mar 30, 2026 by lsarra-ax Collaborator • Draft
ProTip! Add no:assignee to see everything that’s not assigned.