このウェブサイトにはJavaScriptが必要です。
ダッシュボード
エクスプローラー
ヘルプ
サインイン
Isabelle_DOF
/
Isabelle_DOF
ウォッチ
1
スター
0
フォーク
Isabelle_DOF はフォーク済み
2
コード
イシュー
1
プルリクエスト
リリース
Wiki
アクティビティ
ラベル
マイルストーン
新しいプルリクエスト
0 オープン
10 クローズ
ラベル
アーカイブされたラベルを表示
ラベルで除外するには
alt
+
click/enter
すべてのラベル
ラベルなし
マイルストーン
すべてのマイルストーン
マイルストーンなし
オープン中のマイルストーン
Isabelle/DOF 2.0
クローズ済みマイルストーン
Isabelle/DOF 1.3
プロジェクト
すべてのプロジェクト
プロジェクトなし
作成者
すべての作成者
担当者
すべての担当者
担当者なし
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
並べ替え
新しい順
古い順
最近更新された順
最近更新されていない順
コメントが多い順
コメントが少ない順
期日が近い順
期日が遠い順
0 オープン
10 クローズ
オープン
ラベル
ラベルをクリア
マイルストーン
マイルストーンなし
オープン中のマイルストーン
Isabelle/DOF 2.0
オープン中のマイルストーン
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
adbrucker
が作成、
2023-05-15 06:34:50 +00:00
にマージ
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
詳細
#17
nicolas.meric
が作成、
2022-03-30 06:48:33 +00:00
にマージ
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
nicolas.meric
が作成、
2022-01-25 07:50:27 +00:00
にマージ
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
nicolas.meric
が作成、
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
nicolas.meric
が作成、
2021-12-15 22:25:05 +00:00
にマージ
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
nicolas.meric
が作成、
2021-12-07 18:51:35 +00:00
にマージ
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
nicolas.meric
が作成、
2021-11-21 12:43:56 +00:00
にマージ
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
nicolas.meric
が作成、
2021-11-21 12:43:46 +00:00
にマージ
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
nicolas.meric
が作成、
2021-07-02 15:39:54 +00:00
にマージ
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
nicolas.meric
が作成、
2021-07-02 15:33:34 +00:00
にマージ
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos