Công cụ theo tag
Danh sách các công cụ liên quan đến tag formal-proofs.
1 công cụ
🤖 Trợ lý AI
Coding agent cho bài toán toán học, có thể biến mô tả tự nhiên thành Lean 4 theorem và thử formal proof tự động.
Mã nguồn mở
⭐ 742
1 công cụ gắn tag này.
Danh sách các công cụ liên quan đến tag formal-proofs.
Coding agent cho bài toán toán học, có thể biến mô tả tự nhiên thành Lean 4 theorem và thử formal proof tự động.