HigherOrderCO/Kind

Bahasa pembuktian modern

↗ Buka di GitHub

Bintang

3.763

Fork

152

Bahasa

Haskell

Lisensi

MIT

Push terakhir

2 tahun yang lalu

Haskell functional-programming type-theory lambda-calculus dependent-types formality moonad proof-language proof-languages theorem-prover

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.