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