10Nhiệt
1Trả lời
Danh sách được sắp xếp theo idris (loại sắp xếp)
5Nhiệt
1Trả lời
Trợ lý bằng chứng cho toán học chỉ
13Nhiệt
1Trả lời
minh kết hợp của số tự nhiên Ngoài ra sử dụng Scala hình thù
7Nhiệt
2Trả lời
Bằng chứng thành ngữ do mâu thuẫn trong Isabelle?
8Nhiệt
1Trả lời
Làm cách nào để Idris tự động chứng minh rằng hai giá trị không bằng nhau?
5Nhiệt
2Trả lời
Tại sao thuật toán tham lam lại tối ưu?
7Nhiệt
1Trả lời
14Nhiệt
3Trả lời
Số cây tìm kiếm nhị phân trên n thành phần riêng biệt
7Nhiệt
1Trả lời
Chứng minh id bản đồ = id trong idris?
12Nhiệt
1Trả lời
Sử dụng hệ thống kiểu để kiểm tra độ dài đầu ra so với danh sách đầu vào