Skip to content

Commit 474f0c9

Browse files
xoriolxoriol
committed
Make MainDemo match Jupyter notebook code
So, both now represent the very same step-by-step tour to IMP-Logics
1 parent e5b5cc9 commit 474f0c9

File tree

1 file changed

+194
-152
lines changed
  • src/main/java/edu/upc/fib/inlab/imp/kse/imp_logic_demo

1 file changed

+194
-152
lines changed

0 commit comments

Comments
 (0)