Lean ile yazılmış kütüphaneler

Yalın 4 programlama dili ve teorem kanıtlayıcı.

Yalın matematiksel bileşenler kitaplığı.

Yüksek performanslı tip teori detaylandırması için demo.

Lean 2(!)'de işlevsel saflaştırma yoluyla Rust programlarının basit bir şekilde doğrulanması.

Yalın'da doğal sayıları oluşturmak..

Yalın 4 için Mathlib bağlantı noktası devam ediyor.

💧 Sıvı Tensör Deneyi.

Lean 4'te yazılmış basit bir ışın izleyici.

Mantıksal Doğrulama 2020–2021 için VU Amsterdam'da tamamlayıcı dosyalar.

Yalın 3'te HoTT.

İşlevsel programlama dilleri ve ispat yardımcıları için karşılaştırmalı değerlendirmeler koleksiyonu..

MM-Yalın bağlantısının yalından bağımsız uygulaması.