Issue del repository

HigherOrderCO/Kind

A modern proof language

Vedi su GitHub
Star
 (3743 stelle)
Fork
 (149 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
14 ago 2026
Ultimo push GitHub
22 gen 2025
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Haskell
Metriche merge PR
 (Nessuna PR mergiata in 30 g)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate

Nessuna issue indicizzata trovata per questo repository.