slate hlm

Pepatah Teorema Interaktif Slate

Slate adalah pepatah teorema interaktif yang saat ini sedang dalam pengembangan. Repositori ini berisi pustaka standarnya.

Akses web

Slate dirancang sebagai aplikasi web; Seluruh perpustakaan dapat diedit menggunakan antarmuka web di https://slate-prover.org/.

Antarmuka web secara otomatis membuat garpu pribadi repositori ini untuk setiap kontributor, dan mengirimkan pengiriman sebagai permintaan tarik.

Pengembangan Lokal

Untuk tugas yang lebih kompleks, kami merekomendasikan ekstensi untuk kode Studio Visual Microsoft. Silakan ikuti instruksi di halaman itu.

Repositori Slate berisi perpustakaan sebagai submodule Git. Untuk mengunggah perubahan lokal, Anda perlu menambahkan garpu Anda sendiri sebagai remote git untuk submodule ini.