Skip to content

Change the symbol that precedes a schematic predicate / function from ? to '

Viktor Kuncak requested to merge github/fork/cache-nez/kernel-parser into main

Created by: cache-nez

This allows to not print a space between a quantifier and the bound variable.

Merge request reports