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.

Stars
 (1 star)
Forks
 (0 forks)
Indexed issues
 (0 indexed issues)
open beginner issues
 (0 open beginner issues)
最終索引
2026年7月16日
最終 GitHub push
2026年6月16日
ライセンス
Apache License 2.0
コントリビューションガイド
コントリビューションガイド
行動規範
行動規範はありません
主要言語
Python
PR merge metrics
 (PR metrics pending)
初心者向けラベル
索引済み初心者向けラベルはありません

Issue

0 open indexed issues

このリポジトリには open の索引済み Issue がありません。