This website requires JavaScript.
Pulpit
Odkrywaj
Pomoc
Zaloguj się
Isabelle_DOF
/
Isabelle_DOF
Obserwuj
1
Polub
0
Forkuj
You've already forked Isabelle_DOF
2
Kod
Zgłoszenia
1
Oczekujące zmiany
Wydania
Wiki
Aktywność
Etykiety
Kamienie milowe
Nowy Pull Request
0 Otwarty
10 Zamknięty
Etykieta
Show archived labels
Użyj
Alt
+
Kliknij/Enter
, aby wykluczyć etykiety
Wszystkie etykiety
No label
Kamień milowy
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Project
All projects
Brak projektu
Author
All authors
Przypisany
Wszyscy przypisani
Brak przypisania
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Sortuj
Najnowsze
Najstarsze
Ostatnio aktualizowane
Najdawniej aktualizowane
Najczęściej komentowane
Najrzadziej komentowane
Najbliższa data realizacji
Najdalsza data realizacji
0 Otwarty
10 Zamknięty
Otwórz
Etykieta
Wyczyść etykiety
Kamień milowy
Brak kamieni milowych
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projekty
Wyczyść projekty
Przypisany
Usuń przypisanych
Brak przypisania
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Szczegóły
ci/woodpecker/pr/build
Pipeline failed
Szczegóły
#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
Szczegóły
#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