此网站需要 JavaScript。
首页
探索
帮助
登录
Isabelle_DOF
/
Isabelle_DOF
关注
1
点赞
0
派生
你已经派生过 Isabelle_DOF
2
代码
工单
1
合并请求
版本发布
百科
动态
标签
里程碑
创建合并请求
0 开启中
10 已关闭
标签筛选
显示存档标签
使用
alt
+
鼠标左键 / 回车
排除标签
所有标签
无标签
里程碑筛选
所有里程碑
无里程碑
进行中的里程碑
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