Ana Sayfa Keşfet Yardım
Giriş Yap
caryoscelus
/
chunks-of-agda
İzle 1
Yıldızla 0
Çatalla 0
Dosyalar Sorunlar 0 Değişiklik İstekleri 0 Wiki
Dal: main
Dallar Biçim İmleri
chunks-of-agda
/
README.md

README.md 52 B
Kalıcı Bağlantı Geçmiş Ham

chunks-of-agda

random agda code/proofs playground