mj-z-ali
diff --git a/‎img/logic_latex_sample.png
82.4 KB b/‎img/logic_latex_sample.png
82.4 KB
diff --git a/‎img/model_latex_thm_sample.png
171 KB b/‎img/model_latex_thm_sample.png
171 KB
diff --git a/‎img/r11_expression_tla_sample.png
640 KB b/‎img/r11_expression_tla_sample.png
640 KB
diff --git a/‎img/tla_thm_sample.png
798 KB b/‎img/tla_thm_sample.png
798 KB