This website requires JavaScript.
Панель управління
Огляд
Довідка
Увійти
Isabelle_DOF
/
Isabelle_DOF
Слідкувати
1
В обрані
0
Форк
You've already forked Isabelle_DOF
2
Код
Задачі
1
Запити на злиття
Релізи
Вікі
Активність
Мітки
Етап
Новий запит на злиття
0 Відкрито
10 Закрито
Мітка
Show archived labels
Використовуйте
Alt
+
клік/Enter
для виключення міток
Всі мітки
No label
Етап
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Проєкт
All projects
Проєкт відсутній
Author
All authors
Виконавець
Всі виконавці
Немає виконавця
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Сортувати
Найновіші
Найстаріші
Нещодавно оновлено
Найдавніше оновлені
Найбільш коментовані
Найменш коментовані
Найновіша дата
Найстаріша дата
0 Відкрито
10 Закрито
Відкрити
Мітка
Очистити мітки
Етап
Етап відсутній
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Проєкти
Скинути проєкти
Виконавець
Прибрати виконавців
Немає виконавця
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Подробиці
ci/woodpecker/pr/build
Pipeline failed
Подробиці
#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
Подробиці
#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