This website requires JavaScript.
Instrumentpanel
Utforska
Hjälp
Logga in
Isabelle_DOF
/
Isabelle_DOF
Bevaka
1
Stjärnmärk
0
Förgrening
You've already forked Isabelle_DOF
2
Kod
Ärenden
1
Pull-förfrågningar
Släpp
Wiki
Aktiviteter
Etiketter
Milstenar
Ny Pull-Förfrågan
0 Öppen
10 Stängd
Etikett
Show archived labels
Använd
alt
+
klicka/enter
för att exkludera etiketter
Alla etiketter
No label
Milsten
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Project
All projects
Inget projekt
Author
All authors
Förvärvare
Alla tilldelade
Ingen tilldelad
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Sortera
Nyaste
Äldsta
Nyligen uppdaterade
Äldst uppdaterad
Mest kommenterade
Minst kommenterade
Närmaste förfallodatum
Mest avlägsna förfallodatum
0 Öppen
10 Stängd
Öppna
Etikett
Rensa etiketter
Milsten
Ingen Milsten
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projekt
Rensa projekt
Tilldelad
Rensa tilldelade
Ingen tilldelad
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Details
ci/woodpecker/pr/build
Pipeline failed
Details
#30
by
adbrucker
was merged
2023-05-15 06:34:50 +00:00
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Details
#17
by
nicolas.meric
was merged
2022-03-30 06:48:33 +00:00
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
by
nicolas.meric
was merged
2022-01-25 07:50:27 +00:00
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
by
nicolas.meric
was merged
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
by
nicolas.meric
was merged
2021-12-15 22:25:05 +00:00
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
by
nicolas.meric
was merged
2021-12-07 18:51:35 +00:00
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
by
nicolas.meric
was merged
2021-11-21 12:43:56 +00:00
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
by
nicolas.meric
was merged
2021-11-21 12:43:46 +00:00
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
by
nicolas.meric
was merged
2021-07-02 15:39:54 +00:00
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
by
nicolas.meric
was merged
2021-07-02 15:33:34 +00:00
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos