Verified Commit fb543fc7 authored by Merlin Göttlinger's avatar Merlin Göttlinger 💧
Browse files

Explanations

parent cfbf4ec5
Pipeline #9629 passed with stages
in 6 minutes and 23 seconds
......@@ -17,16 +17,16 @@ graph TD
### gml
WIP stuff by Thorsten Wißmann
WIP stuff on graded modal logic by Thorsten Wißmann
### repl
Thorsten Wißmann
WIP repl implementation by Thorsten Wißmann
has todo note
### fuzzy
Something about fuzzy reasoning - Dominik Paulus
Something about fuzzy reasoning by Dominik Paulus
### coalg-el
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment