合併請求 - Isabelle_DOF - LogicalHacking Git Service

建立合併請求

idir-remarks

ci/woodpecker/push/build Pipeline failed 詳情

ci/woodpecker/pr/build Pipeline failed 詳情

#30 由 adbrucker 建立，合併於 2023-05-15 06:34:50 +00:00

eager-and-lazy-elaboration

ci/woodpecker/pr/build Pipeline failed 詳情

#17 由 nicolas.meric 建立，合併於 2022-03-30 06:48:33 +00:00

nicolas.meric:eager-and-lazy-elaboration

Add checking of invariants for class instances

#8 由 nicolas.meric 建立，合併於 2022-01-25 07:50:27 +00:00

nicolas.meric:check-invariants-first-draft

clean-up-isa-check-functions

#7 由 nicolas.meric 建立，合併於 2021-12-15 22:25:30 +00:00

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

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

nicolas.meric:fix-record-generation

referential-equivalence-first-draft

#4 由 nicolas.meric 建立，合併於 2021-11-21 12:43:56 +00:00

nicolas.meric:referential-equivalence-first-draft

First draft of the value* command implementation

#3 由 nicolas.meric 建立，合併於 2021-11-21 12:43:46 +00:00

nicolas.meric:value-star-first-draft

class-term-antiquotation-implementation

#2 由 nicolas.meric 建立，合併於 2021-07-02 15:39:54 +00:00

nicolas.meric:class-term-antiquotation-implementation

all changes

#1 由 nicolas.meric 建立，合併於 2021-07-02 15:33:34 +00:00

nicolas.meric:eclectic-tutorial-add-todos-fix-typos