Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
isa-afp
afp-2020
Commits
b4869ef2d1ca
Commit
a184672f
authored
Feb 01, 2021
by
Manuel Eberl
Browse files
fixed category for Blue_Eyes
parent
357a81dcd962
Changes
2
Hide whitespace changes
Inline
Side-by-side
metadata/metadata
View file @
b4869ef2
...
...
@@ -10069,7 +10069,7 @@ abstract =
[Blue_Eyes]
title = Solution to the xkcd Blue Eyes puzzle
author = Jakub Kądziołka <mailto:kuba@kadziolka.net>
topic =
Mathematics/Misc
topic =
Logic/General logic/Logics of knowledge and belief
date = 2021-01-30
notify = kuba@kadziolka.net
abstract =
...
...
web/topics.html
View file @
b4869ef2
...
...
@@ -543,6 +543,7 @@
<a
href=
"entries/LambdaMu.html"
>
LambdaMu
</a>
<strong>
Logics of knowledge and belief:
</strong>
<a
href=
"entries/Epistemic_Logic.html"
>
Epistemic_Logic
</a>
<a
href=
"entries/Blue_Eyes.html"
>
Blue_Eyes
</a>
<strong>
Temporal logic:
</strong>
<a
href=
"entries/Nat-Interval-Logic.html"
>
Nat-Interval-Logic
</a>
<a
href=
"entries/LTL.html"
>
LTL
</a>
...
...
@@ -897,7 +898,6 @@
<a
href=
"entries/FunWithFunctions.html"
>
FunWithFunctions
</a>
<a
href=
"entries/FunWithTilings.html"
>
FunWithTilings
</a>
<a
href=
"entries/IMO2019.html"
>
IMO2019
</a>
<a
href=
"entries/Blue_Eyes.html"
>
Blue_Eyes
</a>
</div>
<h2>
Tools
</h2>
<div
class=
"list"
>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment