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

Jape là một máy tính bằng chứng chính thức đồ họa có thể cấu hình. Có thể xác định một logic, quyết định cách người dùng của bạn sẽ xem bằng chứng của họ, và nhiều hơn nữa. Nó hoạt động với các biến thể của phép tính tuần tự