This website requires JavaScript.
Pannello di controllo
Esplora
Aiuto
Accedi
Isabelle_DOF
/
Isabelle_DOF
Segui
1
Vota
0
Forka
Hai già fatto il fork di Isabelle_DOF
2
Codice
Problemi
1
Pull Requests
Rilasci
Wiki
Attività
Etichette
Traguardi
Nuova Pull Request
0 Aperto
10 Chiuso
Etichetta
Show archived labels
Usa
alt
+
click/enter
per escludere le etichette
Tutte le etichette
No label
Traguardo
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Progetto
All projects
Nessun progetto
Autore
Tutti gli autori
Assegnatario
Tutte le assegnazioni
Nessun assegnatario
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Ordina
Più recenti
Più vecchi
Aggiornati di recente
Aggiornati tempo fa
I più commentati
I meno commentati
Data di scadenza più vicina
Data di scadenza più lontana
0 Aperto
10 Chiuso
Aperto
Etichetta
Pulisci le etichette
Pietra Miliare
Nessuna pietra miliare
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Progetti
Cancella progetti
Assegnatario
Cancella assegnatari
Nessun assegnatario
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Dettagli
ci/woodpecker/pr/build
Pipeline failed
Dettagli
#30
di
adbrucker
è stato fuso
2023-05-15 06:34:50 +00:00
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Dettagli
#17
di
nicolas.meric
è stato fuso
2022-03-30 06:48:33 +00:00
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
di
nicolas.meric
è stato fuso
2022-01-25 07:50:27 +00:00
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
di
nicolas.meric
è stato fuso
2021-12-15 22:25:30 +00:00
master
nicolas.meric
:
clean-up-isa-check-functions
Add the possibility to make request on instances
#6
di
nicolas.meric
è stato fuso
2021-12-15 22:25:05 +00:00
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
di
nicolas.meric
è stato fuso
2021-12-07 18:51:35 +00:00
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
di
nicolas.meric
è stato fuso
2021-11-21 12:43:56 +00:00
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
di
nicolas.meric
è stato fuso
2021-11-21 12:43:46 +00:00
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
di
nicolas.meric
è stato fuso
2021-07-02 15:39:54 +00:00
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
di
nicolas.meric
è stato fuso
2021-07-02 15:33:34 +00:00
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos