JosD: the best overview I have found so far...
JosD: think about |- as "proves" and |= as "models"...
JosD: thanks to Frederic D. Portoraro (University of Toronto)
JosD: think about |- as "proves" and |= as "models"...
JosD: thanks to Frederic D. Portoraro (University of Toronto)
danbri_: Goal: "Bring capture of important meeting records closer to real-time and increase the participation of meeting participants in creating these records collaboratively."
danbri_: Oops, appears to be Member-only.
danbri_: Move along, nothing to see here people....
danbri_: Oops, appears to be Member-only.
danbri_: Move along, nothing to see here people....