HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Lattice Triangles Are Rare
axiommath.ai
4 comments
11 days ago
skogstokig
29 points
2.
▲
We're excited to announce that AXLE is switching from Lean to Rocq
axle.axiommath.ai
1 comment
3 months ago
practal
3 points
3.
▲
Building the Reasoning Engine at Axiom
axiommath.ai
1 comment
8 months ago
measurablefunc
2 points
4.
▲
AxiomProver Solves All Problems at Putnam 2025: Proof Release and Commentary
axiommath.ai
discuss
5 months ago
logicchains
2 points
5.
▲
Axplorer: Democratizing the search for interesting mathematical constructions
axiommath.ai
discuss
3 months ago
T-A
1 points
6.
▲
From Seeing Why to Checking Everything
axiommath.ai
discuss
5 months ago
tzury
1 points