Issue di runtimeverification/vlsm

Star: (5 star)
Fork: (1 fork)
Issue indicizzate: (4 issue indicizzate)
issue per principianti aperte: (0 issue per principianti aperte)
Ultima indicizzazione: 19 lug 2026
Ultimo push GitHub: 20 dic 2023
Licenza: BSD 3-Clause "New" or "Revised" License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Coq
Metriche merge PR: (Metriche PR in attesa)
Label per principianti: Nessuna label per principianti indicizzata

Issue

4 issue indicizzate aperte

RSS Atom

Aperta

Use constrained concepts across the codebase

Proof Engineeringgood first issue

runtimeverification/vlsm #382 aperta 19 dic 2023 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` (Phase II)

Proof Engineeringgood first issue

runtimeverification/vlsm #40 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` in module `ListExtras`

Proof Engineeringgood first issue

runtimeverification/vlsm #39 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last`

Proof Engineeringgood first issue

runtimeverification/vlsm #38 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti1 reazione0 assegnatari

Star: (5 star)
Fork: (1 fork)
Issue indicizzate: (4 issue indicizzate)
issue per principianti aperte: (0 issue per principianti aperte)
Ultima indicizzazione: 19 lug 2026
Ultimo push GitHub: 20 dic 2023
Licenza: BSD 3-Clause "New" or "Revised" License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Coq
Metriche merge PR: (Metriche PR in attesa)
Label per principianti: Nessuna label per principianti indicizzata

Issue

4 issue indicizzate aperte

RSS Atom

Aperta

Use constrained concepts across the codebase

Proof Engineeringgood first issue

runtimeverification/vlsm #382 aperta 19 dic 2023 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` (Phase II)

Proof Engineeringgood first issue

runtimeverification/vlsm #40 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` in module `ListExtras`

Proof Engineeringgood first issue

runtimeverification/vlsm #39 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last`

Proof Engineeringgood first issue

runtimeverification/vlsm #38 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti1 reazione0 assegnatari

Star: (5 star)
Fork: (1 fork)
Issue indicizzate: (4 issue indicizzate)
issue per principianti aperte: (0 issue per principianti aperte)
Ultima indicizzazione: 19 lug 2026
Ultimo push GitHub: 20 dic 2023
Licenza: BSD 3-Clause "New" or "Revised" License
Guida contributori: Nessuna guida contributori
Codice di condotta: Nessun codice di condotta
Linguaggio principale: Coq
Metriche merge PR: (Metriche PR in attesa)
Label per principianti: Nessuna label per principianti indicizzata

Issue

4 issue indicizzate aperte

RSS Atom

Aperta

Use constrained concepts across the codebase

Proof Engineeringgood first issue

runtimeverification/vlsm #382 aperta 19 dic 2023 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` (Phase II)

Proof Engineeringgood first issue

runtimeverification/vlsm #40 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last` in module `ListExtras`

Proof Engineeringgood first issue

runtimeverification/vlsm #39 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti0 reazioni0 assegnatari

Aperta

Replace `Lib.ListExtras.last_error` with `stdpp.list.last`

Proof Engineeringgood first issue

runtimeverification/vlsm #38 aperta 3 mag 2022 · Coq · 5 star

Perché consigliataNessun assegnatario · Nessun commento

Nessun assegnatarioNessun commentoHa una label adatta ai principianti

0 commenti1 reazione0 assegnatari

runtimeverification/vlsm

Issue

runtimeverification/vlsm

Issue

Ricevi issue Easy fresche nella tua inbox.

runtimeverification/vlsm

Issue