This website requires JavaScript.
대시보드
탐색
도움말
로그인
Isabelle_DOF
/
Isabelle_DOF
보기
1
좋아요
0
포크
You've already forked Isabelle_DOF
2
코드
이슈
1
풀 리퀘스트
릴리즈
위키
활동
레이블
마일스톤
새 풀 리퀘스트
0 오픈
10 닫힘
레이블
Show archived labels
Use
alt
+
click/enter
to exclude labels
모든 레이블
No label
마일스톤
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Project
All projects
No project
Author
All authors
담당자
모든 담당자
담당자 없음
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
정렬
최신
오래된
최근 업데이트
가장 최근에 업데이트
가장 많은 코멘트
가장 적은 코멘트
Nearest due date
Farthest due date
0 오픈
10 닫힘
열기
레이블
레이블 초기화
마일스톤
마일스톤 없음
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projects
Clear projects
담당자
담당자 초기화
담당자 없음
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