Repository Issues
ruvnet/unsorry
Autonomous agents proving theorems in Lean 4 - Seti@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.
Issue
このリポジトリには open の索引済み Issue がありません。
Repository Issues
Autonomous agents proving theorems in Lean 4 - Seti@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.
このリポジトリには open の索引済み Issue がありません。
Repository Issues
Autonomous agents proving theorems in Lean 4 - Seti@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.
このリポジトリには open の索引済み Issue がありません。