Câu hỏi được gắn thẻ «proof-assistants»

Tôi đã lập trình được vài năm, nhưng tôi không quen với CS lý thuyết. Gần đây tôi đã cố gắng nghiên cứu ngôn ngữ lập trình và là một phần trong đó, kiểm tra và suy luận. Câu hỏi của tôi là, nếu tôi cố gắng viết một loại …

10 coq  type-inference  proof-assistants 

Tôi nhớ đã đọc một bài đăng trên blog hiển thị hai phiên bản của cùng một bằng chứng, một phiên bản được viết bởi một người và một phiên bản khác bằng máy và yêu cầu độc giả cho biết đó là phiên bản nào. Cố gắng google bài …

8 proofs  proof-assistants