.gitignore untuk Lean
1 aturan pengabaian untuk Lean, siap disalin ke repositori Anda.
Bahasa fungsional dan pembukti teorema interaktif
.gitignore lengkap untuk Lean
# Dibuat oleh LFGitignore - https://lfgitignore.com
# Dibuat: 2026-10-31 22:51:52 UTC
# Teknologi: Lean
### Lean ###
# Cache dan artefak build Lean Lake
.lake/
Apa yang sebenarnya diabaikan oleh aturan Lean ini
Setiap pola berikut beserta alasan untuk memasukkannya ke .gitignore.
Umum
| Pola | Yang diabaikan |
|---|---|
.lake/ |
Cache dan artefak build Lean Lake |
Cara menggunakan .gitignore ini untuk Lean
- Salin aturan Lean di atas atau unduh langsung berkasnya.
- Buat berkas bernama .gitignore di direktori utama repositori Git Anda dan tempelkan aturannya.
- Jika sebagian berkas tersebut sudah dilacak, jalankan git rm -r --cached . lalu buat commit baru — Git hanya menerapkan aturan pengabaian pada berkas yang belum dilacak.
- Commit .gitignore agar seluruh anggota tim menggunakan aturan yang sama.