Chương trình theo afp.sf.net

Lưu trữ các bằng chứng chính thức là một tập hợp các thư viện bằng chứng, ví dụ, và phát triển scientifc lớn hơn, máy móc kiểm tra trong định lý chứng minh Isabelle. Nó được tổ chức theo cách của một tạp chí khoa học. Đệ trìn