This website requires JavaScript.
Dashboard
Explore
Help
Sign In
Isabelle_DOF
/
Isabelle_DOF
Watch
1
Star
0
Fork
2
You've already forked Isabelle_DOF
Code
Issues
1
Pull Requests
Releases
Wiki
Activity
Labels
Milestones
New Pull Request
0 Open
10 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
Milestone
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Project
All projects
No project
Author
All authors
Assignee
All assignees
No assignee
adbrucker
idir.aitsadoune
makarius
nicolas.meric
wolff
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
0 Open
10 Closed
Close
Label
Clear labels
Milestone
No milestone
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projects
Clear projects
Assignee
Clear assignees
No assignee
adbrucker
idir.aitsadoune
makarius
nicolas.meric
wolff
idir-remarks
Some checks failed
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
Some checks failed
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