_CoqProject 50 Bytes
Newer Older
1
-R . prosa -arg "-w -notation-overriden,-parsing"