Công cụ theo tag
Danh sách các công cụ liên quan đến tag mathematics.
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 mathematics.
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.