This website requires JavaScript.
Kojelauta
Tutki
Apua
Kirjaudu sisään
Isabelle_DOF
/
Isabelle_DOF
Tarkkaile
1
Tähti
0
Fork
You've already forked Isabelle_DOF
2
Koodi
Ongelmat
1
Pull-pyynnöt
Julkaisut
Wiki
Toiminta
Tunnisteet
Merkkipaalut
Uusi vetopyyntö
0 Avoinna
10 Suljettu
Tunniste
Show archived labels
Käytä
alt
+
klikkaus/rivinvaihto
poissulkeaksesi tunnisteita
Kaikki tunnisteet
No label
Merkkipaalu
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Projekti
All projects
No project
Tekijä
All authors
Osoitettu
All assignees
No assignee
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Lajittele
Uusin
Vanhin
Äskettäin päivitetty
Kauiten aikaa sitten päivitetty
Eniten kommentoidut
Vähiten kommentoidut
Lähin määräpäivä
Kaukaisin määräpäivä
0 Avoinna
10 Suljettu
Avaa
Tunniste
Tyhjennä tunnisteet
Merkkipaalu
Ei merkkipaalua
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projektit
Clear projects
Osoitettu henkilölle
Tyhjennä käsittelijä
No assignee
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