add(Modal/Kripke): Remove IsRootedBy and add F.Root (#783)
#2608
SnO2WMaNci.yml
on: push
Check mk_all executed
2m 1s
Generate page
31s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages
Expired
|
30.2 MB |
sha256:0d35b934bdc3e1b5af57c41bbd071c00dab7067a186c385f9b1c318ff9dee2c0
|
|
|
lean-artifacts
Expired
|
34.9 MB |
sha256:e9ef4aa1bed76729a0b429258ccff586e3d4f5bcf495692434262947e086fc11
|
|