Issue del repository

Izzimach/EffSpec-lean

Effect monads with specifications (DIjkstra Monads) in Lean 4

Vedi su GitHub
Star
 (11 star)
Fork
 (0 fork)
Issue indicizzate
 (0 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
13 giu 2026
Ultimo push GitHub
18 feb 2024
Licenza
MIT License
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Lean
Metriche merge PR
 (Nessuna PR mergiata in 30 g)
Label per principianti
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate aperte

RSSAtom

Nessuna issue indicizzata aperta trovata per questo repository.