test-suite/output/PrintingParentheses.v


1
2
3
4
5
6
7
8
9
10

Set Printing Parentheses.

Check (1+2*3,4,5).
Print mult_n_Sm.

Require Import List.
Import ListNotations.
Check [1;2;3;4].

Check {0=1}+{2<=4+5}.