Loading
Trylle
Search
Explore
Sign up
Create an account
Sign In
Sign in
Commits · openai/math | Trylle
openai
openai
/
math
math
Public
Pull mirror status: ok
Code
Code
Issues
0
Pull Requests
0
Releases
0
Actions
Actions
All authors
main
main
Code
Commits on Fri, Oct 30, 2026
D
dr-openai
Merge pull request #4 from openai/codex/update-10-29
4eaee87
Oct 30
Code
Commits on Thu, Oct 29, 2026
D
dr-openai
Align CM Hodge comparator declarations with the Lean solution
204e5f8
Oct 29
Code
Commits on Mon, Oct 26, 2026
D
dr-openai
Merge pull request #3 from openai/codex/update-10-26
7ef5c0c
Oct 26
Code
D
Dan Roberts
Update math/cs papers, formalizations, and verification data
42907c9
Oct 26
Code
Commits on Mon, Oct 12, 2026
D
dr-openai
Merge pull request #2 from openai/codex/lock-prs
1581d4c
Oct 12
Code
J
Jonathan Chan
Lock pull request conversations when opened
2710f99
Oct 12
Code
Commits on Thu, Oct 8, 2026
J
James R Lee
Merge pull request #1 from openai/codex/update-10-7
fd4aeeb
Oct 8
Code
D
Dan Roberts
Update manuscripts and Lean formalizations
3014888
Oct 8
Code
Commits on Tue, Oct 6, 2026
A
Anonymous
Initial commit
adc7f12
Oct 6
Code
Public