Cara Menginstal proofgeneral di Debian 11
Dalam tutorial ini kita belajar bagaimana menginstal proofgeneral di Debian 11. proofgeneral adalah frontend umum untuk asisten proof
pengantar
Dalam tutorial ini kita belajar cara menginstal proofgeneral di Debian 11.
Apa itu proofgeneral?
Bukti Umum adalah cara utama untuk mengubah Emacs menjadi asisten bukti interaktif untuk menulis bukti matematika formal menggunakan berbagai pembuktian teorema. Paket ini memberikan dukungan Bukti Umum untuk Coq. (Tidak ada asisten bukti lain yang dapat didukung dengan bijaksana.)
Ada tiga cara untuk menginstal proofgeneral di Debian 11. Kita bisa menggunakan apt-get, apt dan aptitude. Pada bagian berikut kami akan menjelaskan masing-masing metode. Anda dapat memilih salah satunya.
Instal proofgeneral Menggunakan apt-get
Perbarui database apt dengan apt-get menggunakan perintah berikut.
sudo apt-get update
Setelah memperbarui database apt, Kita dapat menginstal proofgeneral menggunakan apt-get dengan menjalankan perintah berikut:
sudo apt-get -y install proofgeneral
Instal proofgeneral Menggunakan apt
Perbarui database apt dengan apt menggunakan perintah berikut.
sudo apt update
Setelah memperbarui database apt, Kita dapat menginstal proofgeneral menggunakan apt dengan menjalankan perintah berikut:
sudo apt -y install proofgeneral
Instal proofgeneral Menggunakan aptitude
Jika Anda ingin mengikuti metode ini, Anda mungkin perlu menginstal aptitude terlebih dahulu karena aptitude biasanya tidak diinstal secara default di Debian. Perbarui database apt dengan aptitude menggunakan perintah berikut.
sudo apt update
Setelah memperbarui database apt, Kita dapat menginstal proofgeneral menggunakan aptitude dengan menjalankan perintah berikut:
sudo aptitude -y install proofgeneral
Cara Menghapus Proofgeneral di Debian 11
Untuk menghapus hanya paket proofgeneral kita dapat menggunakan perintah berikut:
sudo apt-get remove proofgeneral
Hapus instalan proofgeneral Dan Dependensinya
Untuk meng-uninstall proofgeneral dan dependensinya yang tidak lagi dibutuhkan oleh Debian 11, kita bisa menggunakan perintah di bawah ini:
sudo apt-get -y autoremove proofgeneral
Hapus Konfigurasi dan Data proofgeneral
Untuk menghapus konfigurasi dan data proofgeneral dari Debian 11 kita dapat menggunakan perintah berikut:
sudo apt-get -y purge proofgeneral
Hapus konfigurasi proofgeneral, data, dan semua dependensinya
Kita dapat menggunakan perintah berikut untuk menghapus konfigurasi proofgeneral , data dan semua dependensinya, kita dapat menggunakan perintah berikut:
sudo apt-get -y autoremove --purge proofgeneral
Referensi
-
situs web proofgeneral
Ringkasan
Dalam tutorial ini kita belajar cara menginstal proofgeneral di Debian 11 menggunakan alat manajemen paket yang berbeda seperti apt, apt-get dan aptitude.
