Chủ sở hữu · agda

agda

Các kho mã nguồn mở đang theo dõi của agda, sắp xếp theo số sao.

3 kho mã

#1
agda ↗@agdaHaskell
Agda là một ngôn ngữ lập trình phụ thuộc kiểu / trình chứng minh định lý tương tác.
★ 2.922+3Thay đổi số sao trong 7 ngày qua
#2
agda-stdlib ↗@agdaAgda
Thư viện chuẩn của Agda.
★ 675+0Thay đổi số sao trong 7 ngày qua
#3
cubical ↗@agdaAgda
Thư viện thử nghiệm cho Cubical Agda
★ 567+0Thay đổi số sao trong 7 ngày qua