JPipe 101

Learning Objectives

• Setting up the jPipe compiler and editor on your computer
• Writing your first justification
• Exporting a justification into an image.

Setting up your environment

For this tutorial, you'll learn how to use the command line and the IDE we provide as a VSCode extension. Feel free to skip the part you're not interested in.

To install the environment, start by reading this page: Setup Instructions

My First Justification

jPipe uses a textual syntax to model so-called justifications. In a nutshell, a justification is a logical reasoning that starts from evidence(s) to reach a conclusion, by applying strategies to produce sub-conclusions, which can be used as "composed" evidences.