Cara Menginstal proofgeneral di Debian 11

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.