Skip to content
GitLab
Explore
Sign in
Admin message
Planned GitLab downtime: Friday 01.08.2025, from 05:30 to ~ 08:30 due to migration.
Explore topics
Topics
16
O
OCaml
2
M
modal logic
3
R
resolution
2
O
ontology
2
F
formalization
2
H
hybrid logic
1
C
coalgebraic modal logic
1
R
reasoning
1
H
Haskell
1
F
fuzzy
1
C
chair
1
B
bibliography
2
C
coalg.org
1
C
cool
1
C
coalition logic
1
M
model checking
1