What does DKAL do?

first post: JReuben wrote: Its not really clear what the core use case scenario of this API is...

latest post: nroggel wrote: Might as well answer the question even though it is quite old. The...

Question about transitive implication

first post: nroggel wrote: I modified the forall2.mdkal example in an effort to express transi...

  • 1-2 of 2 discussions
    • Previous
    • 1
    • Next
    • Showing
    • All
    • discussions